All workflows

Workflow runs

• Scheduled

  completed successfully:
  CodeQL#71:bygithub-advanced-security[bot]AI
  master

  Nov 11, 20263m 0s

• Close stale issues

  completed successfully:
  Close stale issues#115:Scheduled
  master

  Nov 11, 202626s
  More actions for workflow run 115

• github_actions in /., /.github/actions/* - Update #1693613669

  completed successfully:
  Dependabot Updates#26:bydependabot[bot]Bot
  master

  Nov 10, 202642s

• Close stale issues

  completed successfully:
  Close stale issues#114:Scheduled
  master

  Nov 10, 202647s
  More actions for workflow run 114

• Close stale issues

  completed successfully:
  Close stale issues#113:Scheduled
  master

  Nov 9, 202616s
  More actions for workflow run 113

• Close stale issues

  completed successfully:
  Close stale issues#112:Scheduled
  master

  Nov 6, 202619s
  More actions for workflow run 112

• Close stale issues

  completed successfully:
  Close stale issues#111:Scheduled
  master

  Nov 5, 202616s
  More actions for workflow run 111

• Scheduled

  completed successfully:
  CodeQL#70:bygithub-advanced-security[bot]AI
  master

  Nov 4, 20263m 5s

• Close stale issues

  completed successfully:
  Close stale issues#110:Scheduled
  master

  Nov 4, 202618s
  More actions for workflow run 110

• github_actions in /., /.github/actions/* - Update #1678539111

  completed successfully:
  Dependabot Updates#25:bydependabot[bot]Bot
  master

  Nov 3, 20261m 3s

• Push on master

  completed successfully:
  CodeQL#69:byjodavies
  master

  Nov 3, 20262m 45s

• test(check.rb): add valgrind_clean? helper method

  completed successfully:
  Deploy#1108:Commit5efefc2pushedbyjodavies
  master

  Nov 3, 202623m 55s
  More actions for workflow run 1108

• test(check.rb): add valgrind_clean? helper method

  completed successfully:
  Test#1093:Commit5efefc2pushedbyjodavies
  master

  Nov 3, 20261h 16m 7s
  More actions for workflow run 1093

• Close stale issues

  completed successfully:
  Close stale issues#109:Scheduled
  master

  Nov 3, 202615s
  More actions for workflow run 109

• Close stale issues

  completed successfully:
  Close stale issues#108:Scheduled
  master

  Nov 2, 202621s
  More actions for workflow run 108

• Fix ClearFlag indexing and flag-range diagnostics

  failed:
  Test#1092:Pull request#929openedbyjacobyen-2001
  jacobyen-2001:fix-clearflag-index-855

  Oct 30, 20261h 0m 59s
  More actions for workflow run 1092

• Fix ClearFlag indexing and flag-range diagnostics

  completed successfully:
  Deploy#1107:Pull request#929openedbyjacobyen-2001
  jacobyen-2001:fix-clearflag-index-855

  Oct 30, 202623m 12s
  More actions for workflow run 1107

• Close stale issues

  completed successfully:
  Close stale issues#107:Scheduled
  master

  Oct 30, 202622s
  More actions for workflow run 107

• Close stale issues

  completed successfully:
  Close stale issues#106:Scheduled
  master

  Oct 29, 202619s
  More actions for workflow run 106

• fix+feat: protect global extrasymbol buffer with mutex for local poly…

  completed successfully:
  Deploy#1106:Pull request#910synchronizebyjodavies
  jodavies:issue-138

  Oct 28, 202623m 52s
  More actions for workflow run 1106

• fix+feat: protect global extrasymbol buffer with mutex for local poly…

  completed successfully:
  Test#1091:Pull request#910synchronizebyjodavies
  jodavies:issue-138

  Oct 28, 202653m 9s
  More actions for workflow run 1091

• Scheduled

  completed successfully:
  CodeQL#68:bygithub-advanced-security[bot]AI
  master

  Oct 28, 20262m 57s

• Close stale issues

  completed successfully:
  Close stale issues#105:Scheduled
  master

  Oct 28, 202624s
  More actions for workflow run 105

• github_actions in /., /.github/actions/* - Update #1658785952

  completed successfully:
  Dependabot Updates#24:bydependabot[bot]Bot
  master

  Oct 27, 20261m 4s

• Fix the segfault reported in #925

  completed successfully:
  Test#1090:Pull request#928openedbytueda
  tueda:pr/fix/issue925

  Oct 27, 202650m 13s
  More actions for workflow run 1090