Skip to content

Actions: nilscrm/colored-networks

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
16 workflow runs
16 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Fix package installation CI #15: Commit 4f081bf pushed by nilscrm
June 25, 2024 08:27 41s main
main
June 25, 2024 08:27 41s
Final version CI #14: Commit 41de85a pushed by nilscrm
June 24, 2024 22:02 18s main
main
June 24, 2024 22:02 18s
Start report CI #13: Commit 835ff6f pushed by nilscrm
June 23, 2024 10:18 14s main
main
June 23, 2024 10:18 14s
Remove upused rules CI #12: Commit 411cd6a pushed by nilscrm
June 17, 2024 15:10 44s main
main
June 17, 2024 15:10 44s
Remove dup nodes in encoding CI #11: Commit e119429 pushed by nilscrm
June 17, 2024 15:09 42s main
main
June 17, 2024 15:09 42s
Fix deletion while substitution CI #10: Commit 4959900 pushed by nilscrm
June 16, 2024 17:19 37s main
main
June 16, 2024 17:19 37s
Add some more tests CI #9: Commit 21aeeb8 pushed by nilscrm
June 16, 2024 16:42 41s main
main
June 16, 2024 16:42 41s
Lots of bug fixes CI #8: Commit 334fad5 pushed by nilscrm
June 16, 2024 16:23 37s main
main
June 16, 2024 16:23 37s
Completely redo node duplication and substitution CI #7: Commit 7238c91 pushed by nilscrm
June 15, 2024 16:28 45s main
main
June 15, 2024 16:28 45s
Remove rewiring in SplitRule CI #6: Commit ea310e5 pushed by nilscrm
June 12, 2024 22:10 50s main
main
June 12, 2024 22:10 50s
Remove connection between split nodes CI #5: Commit 77688ca pushed by nilscrm
June 12, 2024 21:39 41s main
main
June 12, 2024 21:39 41s
Change networks to only allow delete and split rules + keep singleton… CI #4: Commit 576c4da pushed by nilscrm
June 12, 2024 21:21 41s main
main
June 12, 2024 21:21 41s
Large multiplication CI #3: Commit 06b93e8 pushed by nilscrm
June 12, 2024 16:13 41s main
main
June 12, 2024 16:13 41s
Move reduction rules + church numerals CI #2: Commit e86ea40 pushed by nilscrm
June 12, 2024 15:39 40s main
main
June 12, 2024 15:39 40s
Add missing workflow file CI #1: Commit 4473d8f pushed by nilscrm
June 11, 2024 18:44 48s main
main
June 11, 2024 18:44 48s
Add simple tests Test Package #1: Commit 532414f pushed by nilscrm
June 11, 2024 18:41 17s main
main
June 11, 2024 18:41 17s