Skip to content

Actions: crei/complexity

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
147 workflow runs
147 workflow runs

Filter by Workflow

⌥ + click/return to exclude

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
undo changes Lean Action CI #47: Commit 686abe4 pushed by crei
20m 7s while
while
20m 7s
While loop Lean Action CI #46: Pull request #7 opened by crei
2m 22s while
while
2m 22s
und Lean Action CI #45: Commit d28b544 pushed by crei
2m 26s while
while
2m 26s
Generalize move. Lean Action CI #44: Pull request #5 synchronize by crei
2m 34s move_until
move_until
2m 34s
Complete while proof. Lean Action CI #43: Commit d8b7aef pushed by crei
2m 33s move_until
move_until
2m 33s
Generalize move. Lean Action CI #42: Pull request #5 synchronize by crei
2m 43s move_until
move_until
2m 43s
semantics of while. Lean Action CI #41: Commit 261ef4c pushed by crei
3m 2s move_until
move_until
3m 2s
Generalize move. Lean Action CI #40: Pull request #5 synchronize by crei
2m 58s move_until
move_until
2m 58s
move until semantics Lean Action CI #39: Commit 55b1d25 pushed by crei
2m 51s move_until
move_until
2m 51s
Improve transforms_of_inert. (#6) Lean Action CI #38: Commit 5d9c3dd pushed by crei
3m 22s main
main
3m 22s
Generalize move. Lean Action CI #37: Pull request #5 synchronize by crei
2m 29s move_until
move_until
2m 29s
single mov Lean Action CI #36: Commit ad8b518 pushed by crei
2m 35s move_until
move_until
2m 35s
Improve transforms_of_inert. Lean Action CI #35: Pull request #6 synchronize by crei
2m 49s transforms_of_inert
transforms_of_inert
2m 49s
fix Lean Action CI #34: Commit 5975dd6 pushed by crei
2m 55s transforms_of_inert
transforms_of_inert
2m 55s
Improve transforms_of_inert. Lean Action CI #33: Pull request #6 opened by crei
2m 5s transforms_of_inert
transforms_of_inert
2m 5s
Improve transforms_of_inert. Lean Action CI #32: Commit 0532e74 pushed by crei
2m 10s transforms_of_inert
transforms_of_inert
2m 10s
Generalize move. Lean Action CI #31: Pull request #5 opened by crei
1m 34s move_until
move_until
1m 34s
Generalize move. Lean Action CI #30: Commit cf5d0d4 pushed by crei
1m 36s move_until
move_until
1m 36s
Routine successor Lean Action CI #29: Pull request #1 synchronize by crei
2m 8s routine_successor
routine_successor
2m 8s
progress Lean Action CI #28: Commit 1df025d pushed by crei
2m 11s routine_successor
routine_successor
2m 11s
Transform tm Lean Action CI #27: Pull request #2 synchronize by crei
19m 59s transform_tm
transform_tm
19m 59s
Merge remote-tracking branch 'origin/main' into transform_tm Lean Action CI #26: Commit 61496c8 pushed by crei
20m 48s transform_tm
transform_tm
20m 48s
Routine successor Lean Action CI #25: Pull request #1 synchronize by crei
19m 14s routine_successor
routine_successor
19m 14s
Merge remote-tracking branch 'origin/main' into routine_successor Lean Action CI #24: Commit 7d380a9 pushed by crei
18m 50s routine_successor
routine_successor
18m 50s
Semantics of move_right_until in terms of "transform". Lean Action CI #23: Commit 61e89fc pushed by crei
18m 58s main
main
18m 58s