Skip to content

Actions: amarmaduke/lean-stlc

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
23 workflow runs
23 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 leansubst Build the project and deploy to GitHub Pages #10: Commit 87a9332 pushed by amarmaduke
7m 44s main
main
7m 44s
update deps and refactor Lean Action CI #12: Commit 1d8b8c5 pushed by amarmaduke
32s main
main
32s
update deps and refactor Build the project and deploy to GitHub Pages #9: Commit 1d8b8c5 pushed by amarmaduke
7m 44s main
main
7m 44s
update deps and notation Build the project and deploy to GitHub Pages #8: Commit 2a09a28 pushed by amarmaduke
6m 51s main
main
6m 51s
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
add soundness of sn Build the project and deploy to GitHub Pages #7: Commit 6d11e41 pushed by amarmaduke
6m 35s main
main
6m 35s
fix incorrect sni soundness type Lean Action CI #9: Commit b7f4e62 pushed by amarmaduke
19s main
main
19s
fix incorrect sni soundness type Build the project and deploy to GitHub Pages #6: Commit b7f4e62 pushed by amarmaduke
5m 36s main
main
5m 36s
add sn soundness Build the project and deploy to GitHub Pages #5: Commit cbf2e21 pushed by amarmaduke
6m 27s main
main
6m 27s
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
update LeanSubst dep in docbuild Build the project and deploy to GitHub Pages #4: Commit 8d1ac13 pushed by amarmaduke
6m 39s main
main
6m 39s
switch to IsRen substs in SN proof Build the project and deploy to GitHub Pages #3: Commit c163d6b pushed by amarmaduke
50s main
main
50s
switch to IsRen substs in SN proof Lean Action CI #6: Commit c163d6b pushed by amarmaduke
38s main
main
38s
add docbuild Build the project and deploy to GitHub Pages #2: Commit eafe85e pushed by amarmaduke
6m 33s main
main
6m 33s
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 doc deploy Build the project and deploy to GitHub Pages #1: Commit 98079a5 pushed by amarmaduke
24s main
main
24s
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