Skip to content

Actions: FormalizedFormalLogic/LabelledSystem

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
12 workflow runs
12 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

fix Lean Action CI #12: Commit ca19e3c pushed by SnO2WMaN
1m 59s main
main
1m 59s
wkRelLₕ Lean Action CI #11: Commit f4d39a9 pushed by SnO2WMaN
3m 49s main
main
3m 49s
wkFmlLₕ Lean Action CI #10: Commit 32a27cb pushed by SnO2WMaN
4m 8s main
main
4m 8s
Weakening wip Lean Action CI #9: Commit 691b0fb pushed by SnO2WMaN
3m 20s main
main
3m 20s
Add LICENSE Lean Action CI #8: Commit db8b40d pushed by SnO2WMaN
1m 33s main
main
1m 33s
Fix drv def Lean Action CI #7: Commit 5ca67bd pushed by SnO2WMaN
1m 52s main
main
1m 52s
fix Lean Action CI #6: Commit 4844617 pushed by SnO2WMaN
2m 23s main
main
2m 23s
hilbert emulation Lean Action CI #5: Commit d30eb5b pushed by SnO2WMaN
1m 6s main
main
1m 6s
rename Lean Action CI #4: Commit 39a140a pushed by SnO2WMaN
3m 51s main
main
3m 51s
refactor file structure Lean Action CI #3: Commit cdadb08 pushed by SnO2WMaN
1m 59s main
main
1m 59s
refactor Lean Action CI #2: Commit f896f6b pushed by SnO2WMaN
3m 32s main
main
3m 32s
wip Lean Action CI #1: Commit b692d25 pushed by SnO2WMaN
3m 44s main
main
3m 44s