Skip to content

Actions: amarmaduke/lean-stlc

Actions

Lean Action CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
lean_action_ci.yml
13 workflow runs
13 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

update leansubst Lean Action CI #13: Commit 87a9332 pushed by amarmaduke
32s main
main
32s
update deps and refactor Lean Action CI #12: Commit 1d8b8c5 pushed by amarmaduke
32s main
main
32s
update deps and notation Lean Action CI #11: Commit 2a09a28 pushed by amarmaduke
31s main
main
31s
add soundness of sn Lean Action CI #10: Commit 6d11e41 pushed by amarmaduke
32s main
main
32s
fix incorrect sni soundness type Lean Action CI #9: Commit b7f4e62 pushed by amarmaduke
19s main
main
19s
add sn soundness Lean Action CI #8: Commit cbf2e21 pushed by amarmaduke
25s main
main
25s
update LeanSubst dep in docbuild Lean Action CI #7: Commit 8d1ac13 pushed by amarmaduke
23s main
main
23s
switch to IsRen substs in SN proof Lean Action CI #6: Commit c163d6b pushed by amarmaduke
38s main
main
38s
add docbuild Lean Action CI #5: Commit eafe85e pushed by amarmaduke
19s main
main
19s
add doc deploy Lean Action CI #4: Commit 98079a5 pushed by amarmaduke
25s main
main
25s
add strong norm Lean Action CI #3: Commit 3fec7e9 pushed by amarmaduke
27s main
main
27s
fix main Lean Action CI #2: Commit e617e95 pushed by amarmaduke
28s main
main
28s
add stlc and properties Lean Action CI #1: Commit 350c758 pushed by amarmaduke
28s main
main
28s