Skip to content

Actions: pulseengine/rules_lean

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
69 workflow runs
69 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 #69: Scheduled
15m 46s main
main
15m 46s
CI CI #68: Scheduled
9m 7s main
main
9m 7s
chore(aeneas): pin sha256 hashes (drop dev-mode for the Level-2 example) CI #67: Pull request #14 opened by avrabe
39m 18s chore/aeneas-pin-hashes
chore/aeneas-pin-hashes
39m 18s
chore: remap retired artifact status values (rivet validate green again) CI #66: Pull request #13 opened by avrabe
43m 13s chore/rivet-status-remap
chore/rivet-status-remap
43m 13s
CI CI #65: Scheduled
21m 38s main
main
21m 38s
Aeneas Level 2: compile + verify translated Rust (advances #1) (#12) CI #64: Commit 8e3e33f pushed by avrabe
16m 42s main
main
16m 42s
Aeneas Level 2: compile + verify translated Rust (advances #1) CI #63: Pull request #12 synchronize by avrabe
14m 40s feat/aeneas-verified-library
feat/aeneas-verified-library
14m 40s
Aeneas Level 2: compile + verify translated Rust (advances #1) CI #62: Pull request #12 synchronize by avrabe
21m 59s feat/aeneas-verified-library
feat/aeneas-verified-library
21m 59s
Aeneas Level 2: compile + verify translated Rust (advances #1) CI #61: Pull request #12 synchronize by avrabe
17m 40s feat/aeneas-verified-library
feat/aeneas-verified-library
17m 40s
Aeneas Level 2: compile + verify translated Rust (advances #1) CI #60: Pull request #12 synchronize by avrabe
23m 16s feat/aeneas-verified-library
feat/aeneas-verified-library
23m 16s
Aeneas Level 2: compile + verify translated Rust (advances #1) CI #59: Pull request #12 synchronize by avrabe
18m 9s feat/aeneas-verified-library
feat/aeneas-verified-library
18m 9s
Aeneas Level 2: compile + verify translated Rust (advances #1) CI #58: Pull request #12 synchronize by avrabe
20m 0s feat/aeneas-verified-library
feat/aeneas-verified-library
20m 0s
Aeneas Level 2: compile + verify translated Rust (advances #1) CI #57: Pull request #12 synchronize by avrabe
9m 1s feat/aeneas-verified-library
feat/aeneas-verified-library
9m 1s
Aeneas Level 2: compile + verify translated Rust (advances #1) CI #56: Pull request #12 opened by avrabe
28m 54s feat/aeneas-verified-library
feat/aeneas-verified-library
28m 54s
Merge pull request #11 from pulseengine/feature/charon-stage-2 CI #55: Commit 364ab19 pushed by avrabe
59m 37s main
main
59m 37s
Charon Stage 2: charon_llbc + aeneas pipeline, shared mathlib shallow-fetch (#7/#8/#9) CI #54: Pull request #11 opened by avrabe
21m 55s feature/charon-stage-2
feature/charon-stage-2
21m 55s
ci: add @aeneas_lean_lib build job to validate the #7 aeneas shallow-… CI #53: Commit b69c3f7 pushed by avrabe
22m 37s feature/charon-stage-2
feature/charon-stage-2
22m 37s
fix(aeneas): aeneas binary is at tarball root, not bin/aeneas CI #52: Commit efeb5d1 pushed by avrabe
13m 47s feature/charon-stage-2
feature/charon-stage-2
13m 47s
fix(#7): shared shallow-fetch mathlib helper for BOTH libraries CI #51: Commit 9733f40 pushed by avrabe
24m 27s feature/charon-stage-2
feature/charon-stage-2
24m 27s
ci: move Linux jobs to self-hosted runners (match pulseengine org pat… CI #50: Commit a02e801 pushed by avrabe
19m 34s feature/charon-stage-2
feature/charon-stage-2
19m 34s
CI CI #49: Scheduled
4m 12s main
main
4m 12s
feat(aeneas): dev-mode aeneas binary toolchain + LLBC→Lean Level-1 sc… CI #48: Commit d2c5559 pushed by avrabe
52m 29s feature/charon-stage-2
feature/charon-stage-2
52m 29s
Merge origin/main into feature/charon-stage-2 CI #47: Commit 49b9d23 pushed by avrabe
1h 12m 4s feature/charon-stage-2
feature/charon-stage-2
1h 12m 4s
feat(aeneas): land charon_llbc Rust→LLBC rule + example + CI validati… CI #46: Commit 35be97a pushed by avrabe
1h 31m 48s feature/charon-stage-2
feature/charon-stage-2
1h 31m 48s
ci: run CI on feature/charon-stage-2 pushes to exercise build-charon CI #45: Commit ca23707 pushed by avrabe
56m 42s feature/charon-stage-2
feature/charon-stage-2
56m 42s