Skip to content

Actions: pb64-lean/rules_lean

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
54 workflow runs
54 workflow runs

Filter by Workflow

⌥ + click/return to exclude

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
ci ci #32: Scheduled
1d 0h 0m 2s main
main
1d 0h 0m 2s
ci ci #31: Scheduled
5m 20s main
main
5m 20s
ci ci #30: Scheduled
5m 4s main
main
5m 4s
Order private implementation imports before their consumers ci #29: Commit 945812c pushed by petersonbill64
5m 25s main
main
5m 25s
Order private implementation imports before their consumers assurance #22: Commit 945812c pushed by petersonbill64
11s main
main
11s
Preserve IR signatures when staging prebuilt Lean imports assurance #21: Commit 325d606 pushed by petersonbill64
13s main
main
13s
Preserve IR signatures when staging prebuilt Lean imports ci #28: Commit 325d606 pushed by petersonbill64
5m 42s main
main
5m 42s
Keep prebuilt import staging out of the remote cache ci #27: Commit 58fea94 pushed by petersonbill64
4m 29s main
main
4m 29s
Keep prebuilt import staging out of the remote cache assurance #20: Commit 58fea94 pushed by petersonbill64
12s main
main
12s
Reuse Bazel's configured JVM in nested repository regression ci #26: Commit b6e8f71 pushed by petersonbill64
2m 37s main
main
2m 37s
Reuse Bazel's configured JVM in nested repository regression assurance #19: Commit b6e8f71 pushed by petersonbill64
49s main
main
49s
Handle stamped Bazel versions and retry interrupted Lean downloads ci #25: Commit c886124 pushed by petersonbill64
3m 42s main
main
3m 42s
Handle stamped Bazel versions and retry interrupted Lean downloads assurance #18: Commit c886124 pushed by petersonbill64
20s main
main
20s
Invalidate Nix toolchains when declared input contents change ci #24: Commit 364d384 pushed by petersonbill64
8m 2s main
main
8m 2s
Invalidate Nix toolchains when declared input contents change assurance #17: Commit 364d384 pushed by petersonbill64
28s main
main
28s
ci ci #23: Scheduled
4m 24s main
main
4m 24s
ci ci #22: Scheduled
3m 42s main
main
3m 42s
Add Bazel-native Mathlib cache support ci #21: Commit 1266db7 pushed by petersonbill64
4m 48s main
main
4m 48s
Add Bazel-native Mathlib cache support assurance #16: Commit 1266db7 pushed by petersonbill64
12s main
main
12s
Stage unified Lean LSP module closure ci #20: Commit 46d7ee3 pushed by petersonbill64
3m 50s main
main
3m 50s
Stage unified Lean LSP module closure assurance #15: Commit 46d7ee3 pushed by petersonbill64
8s main
main
8s
Expose generated Lean C selector rule ci #19: Commit ac0ad9a pushed by petersonbill64
3m 7s main
main
3m 7s
Expose generated Lean C selector rule assurance #14: Commit ac0ad9a pushed by petersonbill64
11s main
main
11s
ci ci #18: Scheduled
2m 44s main
main
2m 44s
Configure shared Bazel remote cache assurance #13: Commit e9c0c32 pushed by petersonbill64
13s main
main
13s