Skip to content

Actions: mfornet/busybeaver

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
270 workflow runs
270 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
Skelet Skelet #21: Scheduled
48m 31s main
main
48m 31s
Skelet Skelet #20: Scheduled
47m 27s main
main
47m 27s
Skelet Skelet #19: Scheduled
33m 37s main
main
33m 37s
Skelet Skelet #18: Scheduled
48m 54s main
main
48m 54s
Skelet Skelet #17: Scheduled
37m 13s main
main
37m 13s
Skelet Skelet #16: Scheduled
49m 32s main
main
49m 32s
Skelet Skelet #15: Scheduled
47m 14s main
main
47m 14s
Skelet Skelet #14: Scheduled
37m 36s main
main
37m 36s
Skelet Skelet #13: Scheduled
48m 32s main
main
48m 32s
Skelet Skelet #12: Scheduled
49m 13s main
main
49m 13s
Skelet Skelet #11: Scheduled
48m 51s main
main
48m 51s
Skelet Skelet #10: Scheduled
47m 23s main
main
47m 23s
Skelet Skelet #9: Scheduled
49m 2s main
main
49m 2s
Skelet Skelet #8: Scheduled
39m 17s main
main
39m 17s
Skelet Skelet #7: Scheduled
48m 49s main
main
48m 49s
Skelet Skelet #6: Scheduled
48m 23s main
main
48m 23s
golf Transition.lean CI #235: Pull request #69 opened by MrBrain295
4m 38s MrBrain295:patch-8
MrBrain295:patch-8
4m 38s
golf Perm.lean CI #234: Pull request #68 opened by MrBrain295
4m 19s MrBrain295:patch-7
MrBrain295:patch-7
4m 19s
golf Problem.lean CI #233: Pull request #67 opened by MrBrain295
4m 28s MrBrain295:patch-6
MrBrain295:patch-6
4m 28s
golf ClosedSet.lean CI #232: Pull request #66 opened by MrBrain295
4m 36s MrBrain295:patch-5
MrBrain295:patch-5
4m 36s
golf Translate.lean CI #231: Pull request #65 opened by MrBrain295
4m 26s MrBrain295:patch-4
MrBrain295:patch-4
4m 26s
golf Reachability.lean CI #230: Pull request #64 opened by MrBrain295
5m 6s MrBrain295:patch-3
MrBrain295:patch-3
5m 6s
Skelet Skelet #5: Scheduled
47m 36s main
main
47m 36s
Skelet Skelet #4: Scheduled
28m 43s main
main
28m 43s
Skelet Skelet #3: Scheduled
48m 53s main
main
48m 53s