Build docs and deploy to GitHub Pages

Workflow runs for Build docs and deploy to GitHub Pages

• Build docs and deploy to GitHub Pages

  completed successfully:
  Build docs and deploy to GitHub Pages#5:Manually runbyrdmsr
  master

  Sep 16, 20261m 51s
  More actions for workflow run 5

• add workflow dispatch

  completed successfully:
  Build docs and deploy to GitHub Pages#4:Commit71c0ea8pushedbyrdmsr
  master

  May 5, 20262m 32s
  More actions for workflow run 4

• add -I to compile flags

  completed successfully:
  Build docs and deploy to GitHub Pages#3:Commit14d99f3pushedbyrdmsr
  master

  Mar 14, 20261m 20s
  More actions for workflow run 3

• oops

  completed successfully:
  Build docs and deploy to GitHub Pages#2:Commit0468427pushedbyrdmsr
  master

  Mar 14, 20261m 16s
  More actions for workflow run 2

• initial commit

  failed:
  Build docs and deploy to GitHub Pages#1:Commit00f198bpushedbyrdmsr
  master

  Mar 14, 20261m 47s
  More actions for workflow run 1