Coq Build (formal/)

Workflow runs for Coq Build (formal/)

• build(deps): bump the actions group with 2 updates (#410)

  completed successfully:
  Coq Build (formal/)#364:Commit8cf8cf5pushedbyhyperpolymath
  main

  Oct 12, 202617s
  More actions for workflow run 364

• build(deps): bump the actions group with 2 updates

  completed successfully:
  Coq Build (formal/)#363:Pull request#410openedbydependabot[bot]Bot
  dependabot/github_actions/actions-9159e49961

  Oct 12, 202616s
  More actions for workflow run 363

• docs: add Signed commits section to CONTRIBUTING (#409)

  completed successfully:
  Coq Build (formal/)#362:Commit87d4135pushedbyhyperpolymath
  main

  Oct 1, 20265m 41s
  More actions for workflow run 362

• docs: add Signed commits section to CONTRIBUTING

  completed successfully:
  Coq Build (formal/)#361:Pull request#409openedbyhyperpolymath
  docs/signing-policy-d218

  Oct 1, 202615s
  More actions for workflow run 361

• docs(citation): correct CITATION.cff title/abstract and complete ORCI…

  completed successfully:
  Coq Build (formal/)#360:Commit32e4176pushedbyhyperpolymath
  main

  Oct 1, 20262m 46s
  More actions for workflow run 360

• docs(citation): add CITATION.cff with the author's ORCID (0000-0002-3…

  completed successfully:
  Coq Build (formal/)#359:Commitbd30551pushedbyhyperpolymath
  main

  Oct 1, 202614m 5s
  More actions for workflow run 359

• build(deps): bump the actions group with 2 updates (#408)

  completed successfully:
  Coq Build (formal/)#358:Commite5b3ee4pushedbyhyperpolymath
  main

  Sep 28, 202616s
  More actions for workflow run 358

• build(deps): bump the actions group with 2 updates

  completed successfully:
  Coq Build (formal/)#357:Pull request#408openedbydependabot[bot]Bot
  dependabot/github_actions/actions-4b2c77c676

  Sep 28, 202616s
  More actions for workflow run 357

• Fix/actions lock desync (#407)

  completed successfully:
  Coq Build (formal/)#356:Commit9ffb817pushedbyhyperpolymath
  main

  Sep 23, 20261m 36s
  More actions for workflow run 356

• Fix/actions lock desync

  completed successfully:
  Coq Build (formal/)#355:Pull request#407synchronizebyhyperpolymath
  fix/actions-lock-desync

  Sep 23, 20261m 48s
  More actions for workflow run 355

• build(deps): bump the actions group with 2 updates (#406)

  completed successfully:
  Coq Build (formal/)#354:Commit62a2153pushedbyhyperpolymath
  main

  Sep 23, 202616s
  More actions for workflow run 354

• build(deps): bump the actions group with 2 updates

  completed successfully:
  Coq Build (formal/)#353:Pull request#406openedbydependabot[bot]Bot
  dependabot/github_actions/actions-c83b7ed659

  Sep 23, 202614s
  More actions for workflow run 353

• ci: re-pin codeql-action to the true v4.38.0 commit (#405)

  completed successfully:
  Coq Build (formal/)#352:Commit18cc2fcpushedbyhyperpolymath
  main

  Sep 22, 20261m 12s
  More actions for workflow run 352

• ci: re-pin codeql-action to the true v4.38.0 commit

  completed successfully:
  Coq Build (formal/)#351:Pull request#405openedbyhyperpolymath
  ci/repin-codeql-v4.38.0

  Sep 22, 202618s
  More actions for workflow run 351

• Resync actions.lock and add a CI lock synchronization gate (#404)

  completed successfully:
  Coq Build (formal/)#350:Commit0040c14pushedbyhyperpolymath
  main

  Sep 22, 202618s
  More actions for workflow run 350

• Resync actions.lock and add a CI lock synchronization gate

  completed successfully:
  Coq Build (formal/)#349:Pull request#404synchronizebyhyperpolymath
  coderabbit/changes/597d4e2a

  Sep 22, 202615s
  More actions for workflow run 349

• Resync actions.lock and add a CI lock synchronization gate

  completed successfully:
  Coq Build (formal/)#348:Pull request#404openedbycoderabbitai[bot]Bot
  coderabbit/changes/597d4e2a

  Sep 22, 20261m 22s
  More actions for workflow run 348

• fix(ci): resync actions.lock and add a lock-sync recurrence gate (#403)

  completed successfully:
  Coq Build (formal/)#347:Commit4a0a855pushedbyhyperpolymath
  main

  Sep 22, 202616s
  More actions for workflow run 347

• fix(ci): resync actions.lock and add a lock-sync recurrence gate

  completed successfully:
  Coq Build (formal/)#346:Pull request#403synchronizebyhyperpolymath
  fix/actions-lock-desync

  Sep 22, 202619s
  More actions for workflow run 346

• fix(ci): resync actions.lock and add a lock-sync recurrence gate

  cancelled:
  Coq Build (formal/)#345:Pull request#403synchronizebyhyperpolymath
  fix/actions-lock-desync

  Sep 22, 202618s
  More actions for workflow run 345

• fix(ci): resync actions.lock and add a lock-sync recurrence gate

  completed successfully:
  Coq Build (formal/)#344:Pull request#403synchronizebyhyperpolymath
  fix/actions-lock-desync

  Sep 22, 20262m 36s
  More actions for workflow run 344

• fix(ci): resync actions.lock and add a lock-sync recurrence gate

  completed successfully:
  Coq Build (formal/)#343:Pull request#403synchronizebyhyperpolymath
  fix/actions-lock-desync

  Sep 22, 20262m 9s
  More actions for workflow run 343

• fix(ci): resync actions.lock and add a lock-sync recurrence gate

  completed successfully:
  Coq Build (formal/)#342:Pull request#403openedbyhyperpolymath
  fix/actions-lock-desync

  Sep 22, 202630s
  More actions for workflow run 342

• build(deps): bump the actions group with 2 updates (#402)

  completed successfully:
  Coq Build (formal/)#341:Commite7db6b3pushedbyhyperpolymath
  main

  Sep 22, 202617m 31s
  More actions for workflow run 341

• build(deps): bump the actions group with 2 updates

  completed successfully:
  Coq Build (formal/)#340:Pull request#402openedbydependabot[bot]Bot
  dependabot/github_actions/actions-c83b7ed659

  Sep 22, 202622m 25s
  More actions for workflow run 340