Skip to content

Actions: nickdrozd/busy-beaver-stuff

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
172 workflow runs
172 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Add SegmentResult CI #427: Commit 43d5815 pushed by nickdrozd
December 30, 2024 20:19 47m 11s main
main
December 30, 2024 20:19 47m 11s
Add SegmentResult CI #426: Commit b4806e4 pushed by nickdrozd
December 30, 2024 18:14 23m 39s main
main
December 30, 2024 18:14 23m 39s
Add SegmentResult CI #425: Commit 26ce5b6 pushed by nickdrozd
December 30, 2024 17:31 37m 3s main
main
December 30, 2024 17:31 37m 3s
Extract params in function CI #424: Commit fa09233 pushed by nickdrozd
December 29, 2024 02:49 49m 57s main
main
December 29, 2024 02:49 49m 57s
Check for settled instead of refuted CI #423: Commit 9d162f9 pushed by nickdrozd
December 27, 2024 20:38 48m 29s main
main
December 27, 2024 20:38 48m 29s
Add test cases CI #422: Commit 0ffbba8 pushed by nickdrozd
December 27, 2024 19:20 17m 26s main
main
December 27, 2024 19:20 17m 26s
Check depth after step CI #421: Commit d9c895c pushed by nickdrozd
December 27, 2024 18:43 48m 5s main
main
December 27, 2024 18:43 48m 5s
Add test cases CI #420: Commit 4931cca pushed by nickdrozd
December 26, 2024 05:36 1m 53s main
main
December 26, 2024 05:36 1m 53s
Check for settled instead of refuted CI #419: Commit 5a33e32 pushed by nickdrozd
December 26, 2024 03:37 45m 42s main
main
December 26, 2024 03:37 45m 42s
Check for settled instead of refuted CI #418: Commit 462e607 pushed by nickdrozd
December 25, 2024 08:32 44m 54s main
main
December 25, 2024 08:32 44m 54s
Use Python 3.14-dev CI #417: Commit b2454d1 pushed by nickdrozd
December 22, 2024 19:16 44s main
main
December 22, 2024 19:16 44s
Test tree on Mac CI #416: Commit 2217786 pushed by nickdrozd
December 22, 2024 19:09 3m 59s main
main
December 22, 2024 19:09 3m 59s
Use Python 3.14-dev CI #415: Commit 5c45307 pushed by nickdrozd
December 22, 2024 04:52 48m 41s main
main
December 22, 2024 04:52 48m 41s
Report coverage CI #414: Commit ed382c5 pushed by nickdrozd
December 21, 2024 19:45 3m 28s main
main
December 21, 2024 19:45 3m 28s
Report coverage CI #413: Commit e54a038 pushed by nickdrozd
December 21, 2024 19:38 6m 10s main
main
December 21, 2024 19:38 6m 10s
Use Python 3.14-dev CI #412: Commit 1546b91 pushed by nickdrozd
December 21, 2024 18:51 9m 23s main
main
December 21, 2024 18:51 9m 23s
Use Python 3.13 CI #411: Commit 498dd59 pushed by nickdrozd
December 21, 2024 02:12 47m 19s main
main
December 21, 2024 02:12 47m 19s
Use Python 3.13 CI #410: Commit 01fb5ca pushed by nickdrozd
December 21, 2024 01:57 9m 44s main
main
December 21, 2024 01:57 9m 44s
Use result for backward CI #409: Commit 0b77b7d pushed by nickdrozd
December 19, 2024 19:08 45m 26s main
main
December 19, 2024 19:08 45m 26s
Separate macro and prover failures CI #408: Commit 9ad06df pushed by nickdrozd
December 18, 2024 22:45 50m 56s main
main
December 18, 2024 22:45 50m 56s
Add segment false negatives from backward CI #407: Commit 682a821 pushed by nickdrozd
December 18, 2024 15:11 45m 21s main
main
December 18, 2024 15:11 45m 21s
Add test cases CI #406: Commit 0ece832 pushed by nickdrozd
December 15, 2024 06:15 44m 23s main
main
December 15, 2024 06:15 44m 23s
Add test cases CI #405: Commit 16cca3e pushed by nickdrozd
December 14, 2024 19:24 50m 39s main
main
December 14, 2024 19:24 50m 39s
Add slow rust action CI #404: Commit bef3b0c pushed by nickdrozd
December 14, 2024 13:57 52m 25s main
main
December 14, 2024 13:57 52m 25s
Skip segment blocks CI #403: Commit ba712d9 pushed by nickdrozd
December 14, 2024 06:34 55m 6s main
main
December 14, 2024 06:34 55m 6s