ci

Workflow runs for ci

• ci

  queued:
  ci#35:Scheduled
  main

  Oct 19, 2026Queued
  More actions for workflow run 35

• ci

  cancelled:
  ci#34:Scheduled
  main

  Oct 12, 20261d 0h 0m 2s
  More actions for workflow run 34

• ci

  cancelled:
  ci#33:Scheduled
  main

  Oct 5, 20261d 0h 0m 2s
  More actions for workflow run 33

• ci

  cancelled:
  ci#32:Scheduled
  main

  Sep 28, 20261d 0h 0m 2s
  More actions for workflow run 32

• ci

  completed successfully:
  ci#31:Scheduled
  main

  Sep 21, 20265m 20s
  More actions for workflow run 31

• ci

  completed successfully:
  ci#30:Scheduled
  main

  Sep 14, 20265m 4s
  More actions for workflow run 30

• Order private implementation imports before their consumers

  completed successfully:
  ci#29:Commit945812cpushedbypetersonbill64
  main

  Sep 11, 20265m 25s
  More actions for workflow run 29

• Preserve IR signatures when staging prebuilt Lean imports

  completed successfully:
  ci#28:Commit325d606pushedbypetersonbill64
  main

  Sep 10, 20265m 42s
  More actions for workflow run 28

• Keep prebuilt import staging out of the remote cache

  failed:
  ci#27:Commit58fea94pushedbypetersonbill64
  main

  Sep 10, 20264m 29s
  More actions for workflow run 27

• Reuse Bazel's configured JVM in nested repository regression

  completed successfully:
  ci#26:Commitb6e8f71pushedbypetersonbill64
  main

  Sep 7, 20262m 37s
  More actions for workflow run 26

• Handle stamped Bazel versions and retry interrupted Lean downloads

  failed:
  ci#25:Commitc886124pushedbypetersonbill64
  main

  Sep 7, 20263m 42s
  More actions for workflow run 25

• Invalidate Nix toolchains when declared input contents change

  failed:
  ci#24:Commit364d384pushedbypetersonbill64
  main

  Sep 7, 20268m 2s
  More actions for workflow run 24

• ci

  completed successfully:
  ci#23:Scheduled
  main

  Sep 7, 20264m 24s
  More actions for workflow run 23

• ci

  completed successfully:
  ci#22:Scheduled
  main

  Aug 31, 20263m 42s
  More actions for workflow run 22

• Add Bazel-native Mathlib cache support

  completed successfully:
  ci#21:Commit1266db7pushedbypetersonbill64
  main

  Aug 29, 20264m 48s
  More actions for workflow run 21

• Stage unified Lean LSP module closure

  completed successfully:
  ci#20:Commit46d7ee3pushedbypetersonbill64
  main

  Aug 28, 20263m 50s
  More actions for workflow run 20

• Expose generated Lean C selector rule

  completed successfully:
  ci#19:Commitac0ad9apushedbypetersonbill64
  main

  Aug 28, 20263m 7s
  More actions for workflow run 19

• ci

  completed successfully:
  ci#18:Scheduled
  main

  Aug 24, 20262m 44s
  More actions for workflow run 18

• Configure shared Bazel remote cache

  completed successfully:
  ci#17:Commite9c0c32pushedbypetersonbill64
  main

  Aug 22, 20269m 21s
  More actions for workflow run 17

• ci

  completed successfully:
  ci#16:Scheduled
  main

  Aug 17, 20265m 16s
  More actions for workflow run 16

• Provider

  completed successfully:
  ci#15:Commitfbc2dd0pushedbypetersonbill64
  main

  Aug 10, 20262m 27s
  More actions for workflow run 15

• ci

  completed successfully:
  ci#14:Scheduled
  main

  Aug 10, 20262m 7s
  More actions for workflow run 14

• present assurance documentation as current state

  completed successfully:
  ci#13:Commita009214pushedbypetersonbill64
  main

  Aug 5, 20264m 46s
  More actions for workflow run 13

• make CI toolchain provisioning idempotent

  completed successfully:
  ci#12:Commit9f9b124pushedbypetersonbill64
  main

  Aug 5, 20262m 48s
  More actions for workflow run 12

• automate assurance failure fixtures

  failed:
  ci#11:Commit2cfb70dpushedbypetersonbill64
  main

  Aug 5, 20263m 3s
  More actions for workflow run 11