Skip to content

Actions: pb64-lean/rules_lean

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
27 workflow runs
27 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
Provider ci #15: Commit fbc2dd0 pushed by petersonbill64
2m 27s main
main
2m 27s
Provider assurance #12: Commit fbc2dd0 pushed by petersonbill64
9s main
main
9s
ci ci #14: Scheduled
2m 7s main
main
2m 7s
present assurance documentation as current state assurance #11: Commit a009214 pushed by petersonbill64
12s main
main
12s
present assurance documentation as current state ci #13: Commit a009214 pushed by petersonbill64
4m 46s main
main
4m 46s
make CI toolchain provisioning idempotent assurance #10: Commit 9f9b124 pushed by petersonbill64
16s main
main
16s
make CI toolchain provisioning idempotent ci #12: Commit 9f9b124 pushed by petersonbill64
2m 48s main
main
2m 48s
automate assurance failure fixtures assurance #9: Commit 2cfb70d pushed by petersonbill64
19s main
main
19s
automate assurance failure fixtures ci #11: Commit 2cfb70d pushed by petersonbill64
3m 3s main
main
3m 3s
Scope exact-mode normalization collisions to reported names ci #10: Commit ff0b9f3 pushed by petersonbill64
4m 15s main
main
4m 15s
Scope exact-mode normalization collisions to reported names assurance #8: Commit ff0b9f3 pushed by petersonbill64
16s main
main
16s
Require explicit policy_mode and close the exact-mode environment par… ci #9: Commit 2b30ac8 pushed by petersonbill64
2m 22s main
main
2m 22s
Require explicit policy_mode and close the exact-mode environment par… assurance #7: Commit 2b30ac8 pushed by petersonbill64
11s main
main
11s
Use modern Lean for basic example CI ci #8: Commit ca6c609 pushed by petersonbill64
2m 43s main
main
2m 43s
Use modern Lean for basic example CI assurance #6: Commit ca6c609 pushed by petersonbill64
9s main
main
9s
Provision local Lean toolchains in example CI assurance #5: Commit 316ce12 pushed by petersonbill64
13s main
main
13s
Provision local Lean toolchains in example CI ci #7: Commit 316ce12 pushed by petersonbill64
1m 57s main
main
1m 57s
Harden toolchain resolution and assurance audits assurance #4: Commit d6eaaa1 pushed by petersonbill64
8s main
main
8s
Harden toolchain resolution and assurance audits ci #6: Commit d6eaaa1 pushed by petersonbill64
35s main
main
35s
Exclude the deliberate assurance testdata fixture from the scan assurance #3: Commit 2c37e38 pushed by petersonbill64
12s main
main
12s
Exclude the deliberate assurance testdata fixture from the scan ci #5: Commit 2c37e38 pushed by petersonbill64
12s main
main
12s
Add lean_assurance_test: compile-time proof-assurance auditing ci #4: Commit 6bb8289 pushed by petersonbill64
11s main
main
11s
Add lean_assurance_test: compile-time proof-assurance auditing assurance #2: Commit 6bb8289 pushed by petersonbill64
12s main
main
12s
ci ci #3: Manually run by petersonbill64
14s main
main
14s
ci ci #2: Manually run by petersonbill64
16s main
main
16s