All workflows

Workflow runs

• Close stale issues

  completed successfully:
  Close stale issues#102:Scheduled
  master

  Oct 23, 202614s
  More actions for workflow run 102

• Close stale issues

  completed successfully:
  Close stale issues#101:Scheduled
  master

  Oct 22, 202615s
  More actions for workflow run 101

• feat(padic): add p-adic numbers

  completed successfully:
  Deploy#1101:Pull request#845synchronizebycbmarini
  cbmarini:padic-pr

  Oct 21, 202610m 20s
  More actions for workflow run 1101

• feat(padic): add p-adic numbers

  completed successfully:
  Test#1087:Pull request#845synchronizebycbmarini
  cbmarini:padic-pr

  Oct 21, 202648m 27s
  More actions for workflow run 1087

• Scheduled

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

  Oct 21, 20263m 0s

• Close stale issues

  completed successfully:
  Close stale issues#100:Scheduled
  master

  Oct 21, 202612s
  More actions for workflow run 100

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

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

  Oct 20, 20261m 13s

• Close stale issues

  completed successfully:
  Close stale issues#99:Scheduled
  master

  Oct 20, 202620s
  More actions for workflow run 99

• feat(padic): add p-adic numbers

  completed successfully:
  Deploy#1100:Pull request#845synchronizebycbmarini
  cbmarini:padic-pr

  Oct 19, 202621m 32s
  More actions for workflow run 1100

• feat(padic): add p-adic numbers

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

  Oct 19, 202650m 13s
  More actions for workflow run 1086

• Close stale issues

  completed successfully:
  Close stale issues#98:Scheduled
  master

  Oct 19, 202618s
  More actions for workflow run 98

• 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