All workflows

Workflow runs

• Update Google Scholar Citations

  completed successfully:
  Update Google Scholar Citations#24:Scheduled
  main

  Oct 23, 202640s
  More actions for workflow run 24

• CodeQL Advanced

  completed successfully:
  CodeQL Advanced#35:Scheduled
  main

  Oct 21, 20263m 44s
  More actions for workflow run 35

• Update Google Scholar Citations

  completed successfully:
  Update Google Scholar Citations#23:Scheduled
  main

  Oct 21, 202652s
  More actions for workflow run 23

• Update star history chart

  skipped:
  Update star history chart#35:Scheduled
  main

  Oct 19, 20261s
  More actions for workflow run 35

• Update Google Scholar Citations

  completed successfully:
  Update Google Scholar Citations#22:Scheduled
  main

  Oct 19, 202633s
  More actions for workflow run 22

• Update Google Scholar Citations

  completed successfully:
  Update Google Scholar Citations#21:Scheduled
  main

  Oct 16, 202634s
  More actions for workflow run 21

• Check for broken links on site

  failed:
  Check for broken links on site#28:completedbyjackbergus
  Oct 15, 20261m 10s
  More actions for workflow run 28

• pages build and deployment

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

  Oct 15, 20261m 4s

• Update papers.bib

  completed successfully:
  Deploy site#28:Commitebe1447pushedbyjackbergus
  main

  Oct 15, 20261m 24s
  More actions for workflow run 28

• Update papers.bib

  completed successfully:
  CodeQL Advanced#34:Commitebe1447pushedbyjackbergus
  main

  Oct 15, 20263m 23s
  More actions for workflow run 34

• Update papers.bib

  failed:
  Prettier code formatter#28:Commitebe1447pushedbyjackbergus
  main

  Oct 15, 202629s
  More actions for workflow run 28

• Update papers.bib

  skipped:
  Update star history chart#34:Commitebe1447pushedbyjackbergus
  main

  Oct 15, 20262s
  More actions for workflow run 34

• CodeQL Advanced

  completed successfully:
  CodeQL Advanced#33:Scheduled
  main

  Oct 14, 20262m 57s
  More actions for workflow run 33

• Update Google Scholar Citations

  completed successfully:
  Update Google Scholar Citations#20:Scheduled
  main

  Oct 14, 202635s
  More actions for workflow run 20

• Check for broken links on site

  failed:
  Check for broken links on site#27:completedbyjackbergus
  Oct 13, 20261m 16s
  More actions for workflow run 27

• pages build and deployment

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

  Oct 13, 202648s

• Update 2026-10-13-yauclgamma.md

  completed successfully:
  Deploy site#27:Commit5ed44a7pushedbyjackbergus
  main

  Oct 13, 20261m 1s
  More actions for workflow run 27

• Update 2026-10-13-yauclgamma.md

  failed:
  Integration tests#26:Commit5ed44a7pushedbyjackbergus
  main

  Oct 13, 20261m 2s
  More actions for workflow run 26

• Update 2026-10-13-yauclgamma.md

  skipped:
  Update star history chart#33:Commit5ed44a7pushedbyjackbergus
  main

  Oct 13, 20261s
  More actions for workflow run 33

• Update 2026-10-13-yauclgamma.md

  failed:
  Prettier code formatter#27:Commit5ed44a7pushedbyjackbergus
  main

  Oct 13, 202626s
  More actions for workflow run 27

• Update 2026-10-13-yauclgamma.md

  completed successfully:
  Upgrade contract checks#26:Commit5ed44a7pushedbyjackbergus
  main

  Oct 13, 202613s
  More actions for workflow run 26

• Update 2026-10-13-yauclgamma.md

  skipped:
  Check for broken links#26:Commit5ed44a7pushedbyjackbergus
  main

  Oct 13, 20261s
  More actions for workflow run 26

• Update 2026-10-13-yauclgamma.md

  completed successfully:
  CodeQL Advanced#32:Commit5ed44a7pushedbyjackbergus
  main

  Oct 13, 20262m 56s
  More actions for workflow run 32

• Check for broken links on site

  failed:
  Check for broken links on site#26:completedbyjackbergus
  Oct 13, 20261m 3s
  More actions for workflow run 26

• pages build and deployment

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

  Oct 13, 202633s