All workflows

Workflow runs

• Close stale issues

  completed successfully:
  Close stale issues#97:Scheduled
  master

  Oct 16, 202620s
  More actions for workflow run 97

• Close stale issues

  completed successfully:
  Close stale issues#96:Scheduled
  master

  Oct 15, 202611s
  More actions for workflow run 96

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

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

  Oct 14, 20261m 3s

• Scheduled

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

  Oct 14, 20263m 0s

• Close stale issues

  completed successfully:
  Close stale issues#95:Scheduled
  master

  Oct 14, 202612s
  More actions for workflow run 95

• fix: regression: dollar var arguments and TestSub

  completed successfully:
  Deploy#1099:Pull request#918synchronizebyjodavies
  jodavies:pr-874-regression

  Oct 13, 20266m 25s
  More actions for workflow run 1099

• fix: regression: dollar var arguments and TestSub

  completed successfully:
  Test#1085:Pull request#918synchronizebyjodavies
  jodavies:pr-874-regression

  Oct 13, 202642m 36s
  More actions for workflow run 1085

• Fix modular reduction during PolyRatFun expansion

  completed successfully:
  Test#1084:Pull request#921openedbycbmarini
  cbmarini:polyfun-modulus

  Oct 13, 202645m 44s
  More actions for workflow run 1084

• Fix modular reduction during PolyRatFun expansion

  completed successfully:
  Deploy#1098:Pull request#921openedbycbmarini
  cbmarini:polyfun-modulus

  Oct 13, 20267m 44s
  More actions for workflow run 1098

• test(check.rb): detect internal errors

  completed successfully:
  Test#1083:Pull request#920openedbytueda
  tueda:pr/test/detect-internal-errors

  Oct 13, 202640m 30s
  More actions for workflow run 1083

• test(check.rb): detect internal errors

  completed successfully:
  Deploy#1097:Pull request#920openedbytueda
  tueda:pr/test/detect-internal-errors

  Oct 13, 20266m 40s
  More actions for workflow run 1097

• feat(padic): add p-adic numbers

  failed:
  Test#1082:Pull request#845synchronizebycbmarini
  cbmarini:padic-pr

  Oct 13, 20266m 12s
  More actions for workflow run 1082

• feat(padic): add p-adic numbers

  failed:
  Deploy#1096:Pull request#845synchronizebycbmarini
  cbmarini:padic-pr

  Oct 13, 20263m 54s
  More actions for workflow run 1096

• Push on master

  completed successfully:
  CodeQL#65:byjodavies
  master

  Oct 13, 20262m 6s

• ci(deploy): migrate from macos-14 to macos-15

  completed successfully:
  Deploy#1095:Commitfb12f2epushedbyjodavies
  master

  Oct 13, 202625m 51s
  More actions for workflow run 1095

• ci(windows): fix build failure due to MINGW64 diffutils removal

  completed successfully:
  Deploy#1094:Commitb00839bpushedbyjodavies
  master

  Oct 13, 202621m 3s
  More actions for workflow run 1094

• Push on master

  completed successfully:
  CodeQL#64:byjodavies
  master

  Oct 13, 20262m 55s

• Close stale issues

  completed successfully:
  Close stale issues#94:Scheduled
  master

  Oct 13, 202634s
  More actions for workflow run 94

• check+sources: raise test coverage from 62% to 82% with ~1,140 new tests, 2 bug fixes and dead-code annotations

  failed:
  Test#1081:Pull request#917synchronizebyrakab
  rakab:feat/coverage-tests

  Oct 12, 202617m 21s
  More actions for workflow run 1081

• check+sources: raise test coverage from 62% to 82% with ~1,140 new tests, 2 bug fixes and dead-code annotations

  failed:
  Deploy#1093:Pull request#917synchronizebyrakab
  rakab:feat/coverage-tests

  Oct 12, 202613m 38s
  More actions for workflow run 1093

• fix: regression: dollar var arguments and TestSub

  completed successfully:
  Test#1080:Pull request#918openedbyjodavies
  jodavies:pr-874-regression

  Oct 12, 202648m 39s
  More actions for workflow run 1080

• fix: regression: dollar var arguments and TestSub

  failed:
  Deploy#1092:Pull request#918openedbyjodavies
  jodavies:pr-874-regression

  Oct 12, 202618m 44s
  More actions for workflow run 1092

• check+sources: raise test coverage from 62% to 82% with ~1,140 new tests, 2 bug fixes and dead-code annotations

  failed:
  Test#1079:Pull request#917openedbyrakab
  rakab:feat/coverage-tests

  Oct 12, 202630m 26s
  More actions for workflow run 1079

• check+sources: raise test coverage from 62% to 82% with ~1,140 new tests, 2 bug fixes and dead-code annotations

  failed:
  Deploy#1091:Pull request#917openedbyrakab
  rakab:feat/coverage-tests

  Oct 12, 202618m 46s
  More actions for workflow run 1091

• Close stale issues

  completed successfully:
  Close stale issues#93:Scheduled
  master

  Oct 12, 202613s
  More actions for workflow run 93