Skip to content

Actions: nickdrozd/busy-beaver-stuff

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
164 workflow runs
164 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Update rule limit test macro search range CI #242: Commit 558d03d pushed by nickdrozd
August 25, 2023 00:43 9m 25s main
main
August 25, 2023 00:43 9m 25s
Patch up lint and coverage CI #241: Commit 9039c08 pushed by nickdrozd
August 21, 2023 14:28 8m 51s main
main
August 21, 2023 14:28 8m 51s
Normalize mul and add further CI #240: Commit 1b6764e pushed by nickdrozd
August 20, 2023 14:13 6m 52s main
main
August 20, 2023 14:13 6m 52s
Ignore Idris test data for language stats CI #239: Commit 3671741 pushed by nickdrozd
August 16, 2023 01:31 9m 5s main
main
August 16, 2023 01:31 9m 5s
Cut unused Num code CI #238: Commit 8aa36ad pushed by nickdrozd
August 14, 2023 21:46 11m 19s main
main
August 14, 2023 21:46 11m 19s
Add num to coverage CI #237: Commit fdace8d pushed by nickdrozd
August 10, 2023 19:56 19m 38s main
main
August 10, 2023 19:56 19m 38s
Skip rule limit tests CI #236: Commit 6e64a56 pushed by nickdrozd
August 10, 2023 15:54 11m 17s main
main
August 10, 2023 15:54 11m 17s
Skip rule limit tests CI #235: Commit f77d6bd pushed by nickdrozd
August 10, 2023 15:46 8m 24s main
main
August 10, 2023 15:46 8m 24s
Move min pos handling to apply_rule CI #234: Commit 5de7f7e pushed by nickdrozd
August 2, 2023 04:32 9m 37s main
main
August 2, 2023 04:32 9m 37s
Rename test_utils to utils CI #233: Commit f1f8ae3 pushed by nickdrozd
July 31, 2023 05:15 9m 28s main
main
July 31, 2023 05:15 9m 28s
Initialize tapes directly with blocks CI #232: Commit 6f44e15 pushed by nickdrozd
July 31, 2023 03:19 7m 3s main
main
July 31, 2023 03:19 7m 3s
Expect failure for papered-over bug test CI #231: Commit 777cef1 pushed by nickdrozd
July 26, 2023 15:20 10m 23s main
main
July 26, 2023 15:20 10m 23s
Add diff lim coverage test CI #230: Commit dc53815 pushed by nickdrozd
July 26, 2023 14:53 7m 22s main
main
July 26, 2023 14:53 7m 22s
Add excessive diff check CI #229: Commit 0c79dfe pushed by nickdrozd
July 25, 2023 19:55 8m 37s main
main
July 25, 2023 19:55 8m 37s