Skip to content

Actions: amarmaduke/lean-sysf

Actions

Build the project and deploy to GitHub Pages

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
build-and-deploy.yml
9 workflow runs
9 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
finished proof for pred Build the project and deploy to GitHub Pages #9: Commit a26bdc9 pushed by JasonAlanVeenendaal
11m 20s main
main
11m 20s
added proof of consistency Build the project and deploy to GitHub Pages #8: Commit 076dac9 pushed by JasonAlanVeenendaal
10m 48s main
main
10m 48s
update docs Build the project and deploy to GitHub Pages #7: Commit 83ac20a pushed by amarmaduke
10m 59s main
main
10m 59s
restructure and new strong norm Build the project and deploy to GitHub Pages #6: Commit 5faa158 pushed by amarmaduke
10m 26s main
main
10m 26s
finish sn proof for one setup Build the project and deploy to GitHub Pages #5: Commit 9546c6d pushed by amarmaduke
11m 22s main
main
11m 22s
fix docs Build the project and deploy to GitHub Pages #4: Commit 120bf83 pushed by amarmaduke
10m 38s main
main
10m 38s
system f with basic metatheory Build the project and deploy to GitHub Pages #3: Commit 9f2a9bd pushed by amarmaduke
10m 50s main
main
10m 50s
draft syntax Build the project and deploy to GitHub Pages #2: Commit 9809178 pushed by amarmaduke
9m 32s main
main
9m 32s
initial setup Build the project and deploy to GitHub Pages #1: Commit 7879ae9 pushed by amarmaduke
29s main
main
29s