Skip to content

Actions: sdiehl/lean4

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
16 workflow runs
16 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

calling convention for closures CI #14: Commit 8e59d94 pushed by sdiehl
38m 49s master
master
38m 49s
compile stdlib to bytecode CI #13: Commit 38dd765 pushed by sdiehl
42m 18s master
master
42m 18s
for extern calls erase arguments, tag releases with dates CI #12: Commit d608767 pushed by sdiehl
38m 12s master
master
38m 12s
full E2E for vm backend CI #11: Commit 4bcff77 pushed by sdiehl
41m 14s master
master
41m 14s
end to end in CI CI #10: Commit 93b098d pushed by sdiehl
42m 0s master
master
42m 0s
finalize lake integration CI #9: Commit e7e6bc2 pushed by sdiehl
16m 41s master
master
16m 41s
multimodule compilation CI #8: Commit 7403fa2 pushed by sdiehl
41m 19s master
master
41m 19s
Nat.instTrichotomousLt fix CI #7: Commit 1e8ed37 pushed by sdiehl
41m 10s master
master
41m 10s
symbol mangling CI #6: Commit 2674553 pushed by sdiehl
37m 23s master
master
37m 23s
mark persistent CI #5: Commit 4cad839 pushed by sdiehl
42m 20s master
master
42m 20s
push relases, final codegen CI #4: Commit bc378d2 pushed by sdiehl
40m 54s master
master
40m 54s
just build compiler for now CI #3: Commit 3db43bc pushed by sdiehl
56m 39s master
master
56m 39s
use ccache CI #2: Commit ae77dbe pushed by sdiehl
56m 46s master
master
56m 46s
minimal CI CI #1: Commit 8f9020f pushed by sdiehl
1m 41s master
master
1m 41s
build dirs Update stage0 #2: Commit 82885dd pushed by sdiehl
1d 0h 0m 2s master
master
1d 0h 0m 2s
Bump rust generator Update stage0 #1: Commit 2b463bd pushed by sdiehl
1d 0h 0m 2s master
master
1d 0h 0m 2s