All workflows

Workflow runs

• Upgrade deploy-pages action to v5

  completed successfully:
  Build doc#131:Commitb7ebd19pushedbyhferee
  main

  Aug 11, 202614m 48s
  More actions for workflow run 131

• Change deployment environment name to github-pages

  completed successfully:
  Build doc#130:Commitf79734bpushedbyhferee
  main

  Aug 11, 202615m 55s
  More actions for workflow run 130

• Add permissions for GitHub Pages deployment

  failed:
  Build doc#129:Commit561d6b6pushedbyhferee
  main

  Aug 11, 202612s
  More actions for workflow run 129

• Upgrade upload-artifact action to version 7

  failed:
  Build doc#128:Commitd49c9f1pushedbyhferee
  main

  Aug 11, 202630s
  More actions for workflow run 128

• Change upload action from upload-pages-artifact to upload-artifact

  failed:
  Build doc#127:Commit40d79f6pushedbyhferee
  main

  Aug 11, 202614m 56s
  More actions for workflow run 127

• fix makefile

  failed:
  Build doc#126:Commit32681acpushedbyhferee
  main

  Aug 11, 202614m 48s
  More actions for workflow run 126

• fix deployment

  failed:
  Build doc#125:Commit44384f9pushedbyhferee
  main

  Aug 11, 202615m 7s
  More actions for workflow run 125

• fix deployment

  failed:
  Build doc#124:Commitb0731a4pushedbyhferee
  main

  Aug 11, 2026Failure
  More actions for workflow run 124

• fix deployment

  failed:
  Build doc#123:Commitdcd3699pushedbyhferee
  main

  Aug 11, 2026Failure
  More actions for workflow run 123

• switch to upload artifact workflow

  cancelled:
  Build doc#122:Commit4e31fd9pushedbyhferee
  main

  Aug 11, 20261m 4s
  More actions for workflow run 122

• switch to upload artifact workflow

  failed:
  Build doc#121:Commit1679afapushedbyhferee
  main

  Aug 11, 2026Failure
  More actions for workflow run 121

• switch to github token for deployment

  failed:
  Build doc#120:Commitaeb39fepushedbyhferee
  main

  Aug 11, 202622s
  More actions for workflow run 120

• Merge pull request #47 from hferee/copilot/fix-build-docs-job

  failed:
  Build doc#119:Commitcf97c7fpushedbysamvang
  main

  Aug 11, 202612s
  More actions for workflow run 119

• Fix Build docs CI: pin docker-coq-action to coqorg/coq:8.20.1

  skipped:
  Build doc#118:Pull request#47synchronizebyCopilotAI
  copilot/fix-build-docs-job

  Aug 11, 20263s
  More actions for workflow run 118

• Fix Build docs CI: pin docker-coq-action to coqorg/coq:8.20.1

  completed successfully:
  Build doc#117:Commite641352pushedbyCopilotAI
  copilot/fix-build-docs-job

  Aug 11, 202615m 11s
  More actions for workflow run 117

• Running Copilot cloud agent

  completed successfully:
  Copilot cloud agent#1:byCopilotAI
  copilot/fix-build-docs-job

  Aug 11, 20264m 3s

• update version and building information

  failed:
  Build doc#116:Commit964aa93pushedbysamvang
  main

  Aug 11, 20263m 26s
  More actions for workflow run 116