All workflows

Workflow runs

• pages build and deployment

  completed successfully:
  pages-build-deployment#1413:bygithub-pages[bot]Bot
  gh-pages

  Nov 15, 202629s

• Build and Deploy to Github Pages

  completed successfully:
  Build and Deploy to Github Pages#1486:Scheduled
  main

  Nov 15, 20261m 56s
  More actions for workflow run 1486

• pages build and deployment

  completed successfully:
  pages-build-deployment#1412:bygithub-pages[bot]Bot
  gh-pages

  Nov 14, 202625s

• Build and Deploy to Github Pages

  completed successfully:
  Build and Deploy to Github Pages#1485:Scheduled
  main

  Nov 14, 20262m 18s
  More actions for workflow run 1485

• pages build and deployment

  completed successfully:
  pages-build-deployment#1411:bygithub-pages[bot]Bot
  gh-pages

  Nov 13, 202630s

• Build and Deploy to Github Pages

  completed successfully:
  Build and Deploy to Github Pages#1484:Scheduled
  main

  Nov 13, 20261m 59s
  More actions for workflow run 1484

• pages build and deployment

  completed successfully:
  pages-build-deployment#1410:bygithub-pages[bot]Bot
  gh-pages

  Nov 12, 202627s

• Build and Deploy to Github Pages

  completed successfully:
  Build and Deploy to Github Pages#1483:Scheduled
  main

  Nov 12, 20262m 5s
  More actions for workflow run 1483

• pages build and deployment

  completed successfully:
  pages-build-deployment#1409:bygithub-pages[bot]Bot
  gh-pages

  Nov 11, 202627s

• Build and Deploy to Github Pages

  completed successfully:
  Build and Deploy to Github Pages#1482:Scheduled
  main

  Nov 11, 20262m 19s
  More actions for workflow run 1482

• Revise project board members for 2026 term

  completed successfully:
  Markdownlint on PR#813:Pull request#414openedbygerbsen
  gerbsen-patch-1

  Nov 10, 20261m 11s
  More actions for workflow run 813

• Revise project board members for 2026 term

  completed successfully:
  Check links for modified files#1131:Pull request#414openedbygerbsen
  gerbsen-patch-1

  Nov 10, 202624s
  More actions for workflow run 1131

• Revise project board members for 2026 term

  completed successfully:
  Build#1027:Pull request#414openedbygerbsen
  gerbsen-patch-1

  Nov 10, 20262m 18s
  More actions for workflow run 1027

• PR #414

  completed successfully:
  CodeQL#674:bygerbsen
  refs/pull/414/head

  Nov 10, 202659s

• pages build and deployment

  completed successfully:
  pages-build-deployment#1408:bygithub-pages[bot]Bot
  gh-pages

  Nov 10, 20261m 12s

• Build and Deploy to Github Pages

  completed successfully:
  Build and Deploy to Github Pages#1481:Scheduled
  main

  Nov 10, 20262m 40s
  More actions for workflow run 1481

• Scheduled

  completed successfully:
  CodeQL#673:bygithub-advanced-security[bot]AI
  main

  Nov 9, 20261m 11s

• pages build and deployment

  completed successfully:
  pages-build-deployment#1407:bygithub-pages[bot]Bot
  gh-pages

  Nov 9, 20261m 32s

• Remove broken link (#413)

  completed successfully:
  Build and Deploy to Github Pages#1480:Commit17780adpushedbygarloff
  main

  Nov 9, 20262m 8s
  More actions for workflow run 1480

• Push on main

  completed successfully:
  CodeQL#672:bygarloff
  main

  Nov 9, 20261m 28s

• Remove broken link

  completed successfully:
  Markdownlint on PR#812:Pull request#413openedbygerbsen
  gerbsen-patch-1

  Nov 9, 20261m 12s
  More actions for workflow run 812

• Remove broken link

  completed successfully:
  Check links for modified files#1130:Pull request#413openedbygerbsen
  gerbsen-patch-1

  Nov 9, 202623s
  More actions for workflow run 1130

• Remove broken link

  completed successfully:
  Build#1026:Pull request#413openedbygerbsen
  gerbsen-patch-1

  Nov 9, 20261m 46s
  More actions for workflow run 1026

• PR #413

  completed successfully:
  CodeQL#671:bygerbsen
  refs/pull/413/head

  Nov 9, 202654s

• pages build and deployment

  completed successfully:
  pages-build-deployment#1406:bygithub-pages[bot]Bot
  gh-pages

  Nov 9, 202637s