All workflows

Workflow runs

• CI (Coq)

  failed:
  CI (Coq)#622:Scheduled
  master

  Oct 1, 20263h 59m 1s
  More actions for workflow run 622

• CI (Coq)

  failed:
  CI (Coq)#621:Scheduled
  master

  Sep 1, 20263h 50m 24s
  More actions for workflow run 621

• CI (Coq)

  failed:
  CI (Coq)#620:Scheduled
  master

  Aug 1, 20264h 54m 49s
  More actions for workflow run 620

• Fully qualify intra-package PerformanceExperiments imports

  failed:
  CI (Coq)#619:Pull request#61synchronizebyJasonGross
  JasonGross:claude/rocq-dev-compat

  Jul 28, 20263h 41m 57s
  More actions for workflow run 619

• Fully qualify intra-package PerformanceExperiments imports

  failed:
  CI (Coq)#618:Pull request#61openedbyJasonGross
  JasonGross:claude/rocq-dev-compat

  Jul 28, 20263h 52m 55s
  More actions for workflow run 618

• Add module type <+ inclusion chain performance tests (rocq#22279 shapes)

  failed:
  CI (Coq)#617:Pull request#60openedbyJasonGross
  module-type-include-chain-perf

  Jul 16, 20266h 28m 7s
  More actions for workflow run 617

• Fix native CI: select ltac plugin findlib package (coq-core vs rocq-runtime) by version

  completed successfully:
  CI (Coq)#616:Pull request#59openedbyJasonGross
  fix-native-ci-findlib

  Jul 16, 20264h 23m 35s
  More actions for workflow run 616

• CI (Coq)

  failed:
  CI (Coq)#615:Scheduled
  master

  Jul 1, 20263h 48m 33s
  More actions for workflow run 615

• CI (Coq)

  failed:
  CI (Coq)#614:Scheduled
  master

  Jun 1, 20264h 4m 11s
  More actions for workflow run 614

• Adapt to rocq-prover/rocq#21955 (rm coq-core libraries) (#58)

  failed:
  CI (Coq)#613:Commit87eab82pushedbyJasonGross
  master

  May 26, 20264h 7m 5s
  More actions for workflow run 613

• github_actions in /. - Update #1248116395

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

  Feb 18, 202623s

• github_actions in /. - Update #1246552569

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

  Feb 17, 202630s

• github_actions in /. - Update #1245329215

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

  Feb 16, 202626s

• github_actions in /. - Update #1242986512

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

  Feb 13, 202632s

• github_actions in /. - Update #1241949008

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

  Feb 12, 202631s

• github_actions in /. - Update #1240625358

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

  Feb 11, 202626s

• github_actions in /. - Update #1239472993

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

  Feb 10, 202623s

• github_actions in /. - Update #1238007225

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

  Feb 9, 202631s

• github_actions in /. - Update #1236172071

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

  Feb 6, 202638s

• github_actions in /. - Update #1234959658

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

  Feb 5, 202638s

• github_actions in /. - Update #1233682739

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

  Feb 4, 202634s

• github_actions in /. - Update #1231961334

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

  Feb 3, 202636s

• github_actions in /. - Update #1230380095

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

  Feb 2, 202631s

• github_actions in /. - Update #1226905355

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

  Jan 30, 202633s

• github_actions in /. - Update #1225812898

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

  Jan 29, 202624s