Skip to content

Actions: amarmaduke/lean-sysf

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
18 workflow runs
18 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

finished proof for pred Lean Action CI #9: Commit a26bdc9 pushed by JasonAlanVeenendaal
34s main
main
34s
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
added proof of consistency Lean Action CI #8: Commit 076dac9 pushed by JasonAlanVeenendaal
27s main
main
27s
update docs Lean Action CI #7: Commit 83ac20a pushed by amarmaduke
31s main
main
31s
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
restructure and new strong norm Lean Action CI #6: Commit 5faa158 pushed by amarmaduke
1m 13s main
main
1m 13s
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
finish sn proof for one setup Lean Action CI #5: Commit 9546c6d pushed by amarmaduke
53s main
main
53s
fix docs Build the project and deploy to GitHub Pages #4: Commit 120bf83 pushed by amarmaduke
10m 38s main
main
10m 38s
fix docs Lean Action CI #4: Commit 120bf83 pushed by amarmaduke
29s main
main
29s
system f with basic metatheory Lean Action CI #3: Commit 9f2a9bd pushed by amarmaduke
39s main
main
39s
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
draft syntax Lean Action CI #2: Commit 9809178 pushed by amarmaduke
35s main
main
35s
initial setup Lean Action CI #1: Commit 7879ae9 pushed by amarmaduke
27s main
main
27s
initial setup Build the project and deploy to GitHub Pages #1: Commit 7879ae9 pushed by amarmaduke
29s main
main
29s