CI context contract

Workflow runs for CI context contract

• build(lean): move the toolchain from v4.13.0 to v4.35.0 (#65)

  completed successfully:
  CI context contract#32:Commit168f09dpushedbyhyperpolymath
  main

  Oct 27, 202612s
  More actions for workflow run 32

• build(lean): move the toolchain from v4.13.0 to v4.35.0

  completed successfully:
  CI context contract#31:Pull request#65synchronizebyhyperpolymath
  claude/lean-v4.35.0

  Oct 27, 202615s
  More actions for workflow run 31

• fix(ci): CI context contract follows the secret-scan → scan rename (#66)

  completed successfully:
  CI context contract#30:Commitcdf6eebpushedbyhyperpolymath
  main

  Oct 27, 202614s
  More actions for workflow run 30

• build(lean): move the toolchain from v4.13.0 to v4.35.0

  completed successfully:
  CI context contract#29:Pull request#65synchronizebyhyperpolymath
  claude/lean-v4.35.0

  Oct 27, 20263m 49s
  More actions for workflow run 29

• fix(ci): CI context contract follows the secret-scan → scan rename

  completed successfully:
  CI context contract#28:Pull request#66openedbyhyperpolymath
  claude/ci-contexts-scan-rename

  Oct 27, 20264m 48s
  More actions for workflow run 28

• build(lean): move the toolchain from v4.13.0 to v4.35.0

  failed:
  CI context contract#27:Pull request#65openedbyhyperpolymath
  claude/lean-v4.35.0

  Oct 27, 202628m 1s
  More actions for workflow run 27

• priority-refresh-2026-10-12 (#64)

  failed:
  CI context contract#26:Commite172f8apushedbyhyperpolymath
  main

  Oct 12, 20269s
  More actions for workflow run 26

• CI context contract

  failed at startup:
  CI context contract#25:synchronizebycoderabbitai[bot]Bot
  priority-refresh-2026-10-12

  Oct 12, 2026Startup failure
  More actions for workflow run 25

• priority-refresh-2026-10-12

  failed:
  CI context contract#24:Pull request#64synchronizebyhyperpolymath
  priority-refresh-2026-10-12

  Oct 12, 202611s
  More actions for workflow run 24

• CI context contract

  failed at startup:
  CI context contract#23:synchronizebycoderabbitai[bot]Bot
  priority-refresh-2026-10-12

  Oct 12, 2026Startup failure
  More actions for workflow run 23

• priority-refresh-2026-10-12

  failed:
  CI context contract#22:Pull request#64openedbyhyperpolymath
  priority-refresh-2026-10-12

  Oct 12, 202621s
  More actions for workflow run 22

• Fix/ci context producibility (#63)

  failed:
  CI context contract#21:Commitad7bfdfpushedbyhyperpolymath
  main

  Oct 3, 202611s
  More actions for workflow run 21

• Fix/ci context producibility

  failed:
  CI context contract#20:Pull request#63synchronizebyhyperpolymath
  fix/ci-context-producibility

  Oct 3, 202611s
  More actions for workflow run 20

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

  failed:
  CI context contract#19:Commitd1439ffpushedbyhyperpolymath
  main

  Oct 1, 20263m 47s
  More actions for workflow run 19

• ci(secret-scan): rename caller job key secret-scan -> scan (D243) (#62)

  failed:
  CI context contract#18:Commitf330f30pushedbyhyperpolymath
  main

  Oct 1, 20261m 40s
  More actions for workflow run 18

• ci(secret-scan): rename caller job key secret-scan -> scan (D243)

  failed:
  CI context contract#17:Pull request#62synchronizebyhyperpolymath
  ci/secret-scan-floor-key

  Oct 1, 20261m 47s
  More actions for workflow run 17

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

  completed successfully:
  CI context contract#16:Commit642e299pushedbyhyperpolymath
  main

  Oct 1, 202611s
  More actions for workflow run 16

• ci(secret-scan): rename caller job key secret-scan -> scan (D243)

  failed:
  CI context contract#15:Pull request#62openedbyhyperpolymath
  ci/secret-scan-floor-key

  Oct 1, 20261m 10s
  More actions for workflow run 15

• docs: add Signed commits section to CONTRIBUTING

  completed successfully:
  CI context contract#14:Pull request#61openedbyhyperpolymath
  docs/signing-policy-d218

  Oct 1, 202615s
  More actions for workflow run 14

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

  completed successfully:
  CI context contract#13:Pull request#60synchronizebyhyperpolymath
  chore/citation-orcid

  Oct 1, 20262m 12s
  More actions for workflow run 13

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

  completed successfully:
  CI context contract#12:Pull request#60openedbyhyperpolymath
  chore/citation-orcid

  Oct 1, 20266m 54s
  More actions for workflow run 12

• ci(pipeline): re-pin ci-pipeline.yml to standards#989 squash SHA ed5e…

  completed successfully:
  CI context contract#11:Commit9a5c34fpushedbyhyperpolymath
  main

  Sep 22, 202621s
  More actions for workflow run 11

• ci(pipeline): re-pin ci-pipeline.yml to standards#989 squash SHA ed5e3f65

  completed successfully:
  CI context contract#10:Pull request#56synchronizebyhyperpolymath
  secqual/repin-ci-pipeline-f95130bb

  Sep 22, 202619s
  More actions for workflow run 10

• ci(pipeline): re-pin ci-pipeline.yml to standards#989 squash SHA ed5e3f65

  completed successfully:
  CI context contract#9:Pull request#56openedbyhyperpolymath
  secqual/repin-ci-pipeline-f95130bb

  Sep 22, 202613s
  More actions for workflow run 9

• ci: standards ci-pipeline dry-run caller (observation, not adoption) …

  completed successfully:
  CI context contract#8:Commite35879apushedbyhyperpolymath
  main

  Sep 22, 202629s
  More actions for workflow run 8