Skip to content

Actions: amarmaduke/lean-sysf

Actions

Lean Action CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
lean_action_ci.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 Lean Action CI #9: Commit a26bdc9 pushed by JasonAlanVeenendaal
34s main
main
34s
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
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 Lean Action CI #5: Commit 9546c6d pushed by amarmaduke
53s main
main
53s
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
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