Skip to content

Actions: nickdrozd/busy-beaver-stuff

Actions

CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci.yml
161 workflow runs
161 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Cut block reuse CI #383: Commit ebaf804 pushed by nickdrozd
September 16, 2024 22:34 1h 3m 12s main
main
September 16, 2024 22:34 1h 3m 12s
Shadow config with rc CI #382: Commit eda1c54 pushed by nickdrozd
September 10, 2024 03:31 1h 3m 28s main
main
September 10, 2024 03:31 1h 3m 28s
Enable unneeded_field_pattern lint CI #381: Commit d750922 pushed by nickdrozd
September 5, 2024 12:53 1h 3m 36s main
main
September 5, 2024 12:53 1h 3m 36s
Cut tree_gen.py CI #380: Commit 1200d68 pushed by nickdrozd
September 3, 2024 18:13 1h 1m 34s main
main
September 3, 2024 18:13 1h 1m 34s
Add inful cases CI #379: Commit 07dce25 pushed by nickdrozd
August 29, 2024 21:02 50m 6s main
main
August 29, 2024 21:02 50m 6s
Change assertion to check CI #378: Commit 27c7108 pushed by nickdrozd
August 20, 2024 17:34 49m 42s main
main
August 20, 2024 17:34 49m 42s
Change assertion to check CI #377: Commit eca1a38 pushed by nickdrozd
August 20, 2024 04:50 48m 7s main
main
August 20, 2024 04:50 48m 7s
Reorganize test data CI #376: Commit 8c5621b pushed by nickdrozd
August 17, 2024 22:34 49m 48s main
main
August 17, 2024 22:34 49m 48s
Add reason tree test CI #375: Commit c2530b7 pushed by nickdrozd
August 16, 2024 05:30 1h 6m 36s main
main
August 16, 2024 05:30 1h 6m 36s
Check backstepper for recurrence CI #374: Commit 86b72b3 pushed by nickdrozd
August 15, 2024 23:27 32m 58s main
main
August 15, 2024 23:27 32m 58s
Add tree skip test CI #373: Commit 067b51e pushed by nickdrozd
August 14, 2024 18:52 32m 51s main
main
August 14, 2024 18:52 32m 51s
Abolish parse mod CI #372: Commit 4864fbb pushed by nickdrozd
August 14, 2024 00:14 23m 24s main
main
August 14, 2024 00:14 23m 24s
Check colors before states CI #371: Commit 9818538 pushed by nickdrozd
August 12, 2024 22:14 35m 40s main
main
August 12, 2024 22:14 35m 40s
Rearrange rec check state CI #370: Commit 9b21173 pushed by nickdrozd
August 9, 2024 00:16 33m 10s main
main
August 9, 2024 00:16 33m 10s
Check while-mark before call CI #369: Commit ecc0637 pushed by nickdrozd
August 7, 2024 17:00 32m 15s main
main
August 7, 2024 17:00 32m 15s
Separate indentation handling CI #368: Commit 52bf1bc pushed by nickdrozd
August 7, 2024 05:09 33m 33s main
main
August 7, 2024 05:09 33m 33s
Add reasoner false negatives CI #367: Commit f1cf544 pushed by nickdrozd
August 6, 2024 22:58 36m 28s main
main
August 6, 2024 22:58 36m 28s
Add prover overflow test CI #366: Commit 7c07f77 pushed by nickdrozd
July 27, 2024 14:23 32m 50s main
main
July 27, 2024 14:23 32m 50s
Inc inf run CI #365: Commit 1cef8ae pushed by nickdrozd
July 26, 2024 15:09 26m 31s main
main
July 26, 2024 15:09 26m 31s
Add rust macro progs CI #364: Commit a0776a9 pushed by nickdrozd
July 24, 2024 20:11 22m 39s main
main
July 24, 2024 20:11 22m 39s
Add rust macro progs CI #363: Commit 43670ae pushed by nickdrozd
July 24, 2024 17:09 3m 5s main
main
July 24, 2024 17:09 3m 5s
Add rust connected check CI #362: Commit 01a1a0f pushed by nickdrozd
July 23, 2024 18:41 22m 19s main
main
July 23, 2024 18:41 22m 19s
Use type alias for Count CI #361: Commit 8bf8bd6 pushed by nickdrozd
July 19, 2024 21:47 21m 14s main
main
July 19, 2024 21:47 21m 14s
Cut explicit panic CI #360: Commit ba0802b pushed by nickdrozd
July 18, 2024 18:19 20m 38s main
main
July 18, 2024 18:19 20m 38s
Cut clone CI #359: Commit 7a99a44 pushed by nickdrozd
July 14, 2024 15:54 19m 29s main
main
July 14, 2024 15:54 19m 29s