All workflows

Workflow runs

• 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

• Order private implementation imports before their consumers

  completed successfully:
  assurance#22:Commit945812cpushedbypetersonbill64
  main

  Sep 11, 202611s
  More actions for workflow run 22

• Preserve IR signatures when staging prebuilt Lean imports

  completed successfully:
  assurance#21:Commit325d606pushedbypetersonbill64
  main

  Sep 10, 202613s
  More actions for workflow run 21

• 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

• Keep prebuilt import staging out of the remote cache

  completed successfully:
  assurance#20:Commit58fea94pushedbypetersonbill64
  main

  Sep 10, 202612s
  More actions for workflow run 20

• 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

• Reuse Bazel's configured JVM in nested repository regression

  completed successfully:
  assurance#19:Commitb6e8f71pushedbypetersonbill64
  main

  Sep 7, 202649s
  More actions for workflow run 19

• Handle stamped Bazel versions and retry interrupted Lean downloads

  failed:
  ci#25:Commitc886124pushedbypetersonbill64
  main

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

• Handle stamped Bazel versions and retry interrupted Lean downloads

  completed successfully:
  assurance#18:Commitc886124pushedbypetersonbill64
  main

  Sep 7, 202620s
  More actions for workflow run 18

• Invalidate Nix toolchains when declared input contents change

  failed:
  ci#24:Commit364d384pushedbypetersonbill64
  main

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

• Invalidate Nix toolchains when declared input contents change

  completed successfully:
  assurance#17:Commit364d384pushedbypetersonbill64
  main

  Sep 7, 202628s
  More actions for workflow run 17

• 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

• Add Bazel-native Mathlib cache support

  completed successfully:
  assurance#16:Commit1266db7pushedbypetersonbill64
  main

  Aug 29, 202612s
  More actions for workflow run 16

• Stage unified Lean LSP module closure

  completed successfully:
  ci#20:Commit46d7ee3pushedbypetersonbill64
  main

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

• Stage unified Lean LSP module closure

  completed successfully:
  assurance#15:Commit46d7ee3pushedbypetersonbill64
  main

  Aug 28, 20268s
  More actions for workflow run 15

• Expose generated Lean C selector rule

  completed successfully:
  ci#19:Commitac0ad9apushedbypetersonbill64
  main

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

• Expose generated Lean C selector rule

  completed successfully:
  assurance#14:Commitac0ad9apushedbypetersonbill64
  main

  Aug 28, 202611s
  More actions for workflow run 14