Skip to content

Actions: AtticusKuhn/Transition-System-Ranking-Function

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
61 workflow runs
61 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

work on imperative language docs #25: Commit 3562719 pushed by AtticusKuhn
1m 33s master
master
1m 33s
work on imperative language Lean Action CI #36: Commit 3562719 pushed by AtticusKuhn
2m 15s master
master
2m 15s
done docs #24: Commit b585f04 pushed by AtticusKuhn
1m 30s master
master
1m 30s
done Lean Action CI #35: Commit b585f04 pushed by AtticusKuhn
1m 34s master
master
1m 34s
work on count docs #23: Commit 64df090 pushed by AtticusKuhn
1m 21s master
master
1m 21s
work on count Lean Action CI #34: Commit 64df090 pushed by AtticusKuhn
1m 23s master
master
1m 23s
count neurons docs #22: Commit 3b6b444 pushed by AtticusKuhn
1m 25s master
master
1m 25s
count neurons Lean Action CI #33: Commit 3b6b444 pushed by AtticusKuhn
1m 23s master
master
1m 23s
add inside docs #21: Commit 56a452a pushed by AtticusKuhn
1m 28s master
master
1m 28s
add inside Lean Action CI #32: Commit 56a452a pushed by AtticusKuhn
1m 20s master
master
1m 20s
done Lean Action CI #31: Commit 29f53cd pushed by AtticusKuhn
1m 36s master
master
1m 36s
done docs #20: Commit 29f53cd pushed by AtticusKuhn
1m 29s master
master
1m 29s
changes Lean Action CI #30: Commit f7ceacf pushed by AtticusKuhn
1m 36s master
master
1m 36s
changes docs #19: Commit f7ceacf pushed by AtticusKuhn
1m 27s master
master
1m 27s
remove phoas docs #18: Commit d0bd12c pushed by AtticusKuhn
1m 32s master
master
1m 32s
remove phoas Lean Action CI #29: Commit d0bd12c pushed by AtticusKuhn
1m 35s master
master
1m 35s
finish nat r Lean Action CI #28: Commit e46e252 pushed by AtticusKuhn
1m 21s master
master
1m 21s
finish nat r docs #17: Commit e46e252 pushed by AtticusKuhn
1m 26s master
master
1m 26s
comments Lean Action CI #27: Commit b2e3401 pushed by AtticusKuhn
1m 20s master
master
1m 20s
comments docs #16: Commit b2e3401 pushed by AtticusKuhn
1m 32s master
master
1m 32s
refactor docs #15: Commit 95f04b3 pushed by AtticusKuhn
1m 24s master
master
1m 24s
refactor Lean Action CI #26: Commit 95f04b3 pushed by AtticusKuhn
1m 21s master
master
1m 21s
clean up docs #14: Commit be85286 pushed by AtticusKuhn
1m 25s master
master
1m 25s
clean up Lean Action CI #25: Commit be85286 pushed by AtticusKuhn
1m 12s master
master
1m 12s
finish proof of completeness Lean Action CI #24: Commit 5bc966a pushed by AtticusKuhn
1m 3s master
master
1m 3s