Skip to content

Actions: SurmountSystems/systems-lean

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
20 workflow runs
20 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
wip ci #20: Commit 385e92b pushed by cryptoquick
3m 36s main
main
3m 36s
wip ci #19: Commit 6224879 pushed by cryptoquick
3m 47s main
main
3m 47s
wip ci #18: Commit f72f387 pushed by cryptoquick
2m 33s main
main
2m 33s
wip ci #17: Commit b4d62f4 pushed by cryptoquick
3m 52s main
main
3m 52s
slake ci #16: Commit 5907775 pushed by cryptoquick
9m 22s main
main
9m 22s
wip ci #15: Commit 8feb420 pushed by cryptoquick
4m 35s main
main
4m 35s
wip ci #14: Commit 78622e0 pushed by cryptoquick
8m 5s main
main
8m 5s
fix ci ci #13: Commit 5aa5c36 pushed by cryptoquick
11m 46s main
main
11m 46s
impl ci #12: Commit 4da1296 pushed by cryptoquick
56s main
main
56s
bootstrapped ci #11: Commit f27846c pushed by cryptoquick
44s main
main
44s
impl ci #10: Commit 84a258a pushed by cryptoquick
47s main
main
47s
nix ci #9: Commit 66b5f96 pushed by cryptoquick
24m 14s main
main
24m 14s
fix ci ci #8: Commit 5c7bf1e pushed by cryptoquick
6m 17s main
main
6m 17s
fix ci ci #7: Commit 8f3fe27 pushed by cryptoquick
5m 16s main
main
5m 16s
Systems Lean bootstrap ci #6: Commit 6e47720 pushed by cryptoquick
42s main
main
42s
wip ci #5: Commit 87b2b1e pushed by cryptoquick
46s main
main
46s
wip... ci #4: Commit b9cd3a2 pushed by cryptoquick
46s main
main
46s
wip ci #3: Commit 81b8c4e pushed by cryptoquick
46s main
main
46s
Bridge-building kickoff for the Curry-Howard isomorphism between Lean… ci #2: Commit db130db pushed by cryptoquick
45s main
main
45s
Initial commit. ci #1: Commit 95c0ea4 pushed by cryptoquick
45s main
main
45s