Skip to content

Actions: amarmaduke/lean-stlc

Actions

Build the project and deploy to GitHub Pages

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
build-and-deploy.yml
17 workflow runs
17 workflow runs

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
broken mess for jason Build the project and deploy to GitHub Pages #17: Commit f127379 pushed by amarmaduke
36s main
main
36s
more cleanup Build the project and deploy to GitHub Pages #16: Commit 9c82688 pushed by amarmaduke
42s main
main
42s
update leansubst and lilac Build the project and deploy to GitHub Pages #15: Commit 652734a pushed by amarmaduke
33s main
main
33s
try a different nat model Build the project and deploy to GitHub Pages #14: Commit e98fc6d pushed by amarmaduke
28s main
main
28s
nat value added Build the project and deploy to GitHub Pages #13: Commit c5ae05d pushed by JasonAlanVeenendaal
31s main
main
31s
setup draft for jason Build the project and deploy to GitHub Pages #12: Commit c61500e pushed by amarmaduke
31s main
main
31s
added system t Build the project and deploy to GitHub Pages #11: Commit 04039d7 pushed by JasonAlanVeenendaal
30s main
main
30s
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 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
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 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
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
add docbuild Build the project and deploy to GitHub Pages #2: Commit eafe85e pushed by amarmaduke
6m 33s main
main
6m 33s
add doc deploy Build the project and deploy to GitHub Pages #1: Commit 98079a5 pushed by amarmaduke
24s main
main
24s