Skip to content

Actions: Ef55/chicken-pi

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
57 workflow runs
57 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Regex fix for macos build #57: Commit 0c504d4 pushed by Ef55
December 16, 2024 17:14 7m 14s main
main
December 16, 2024 17:14 7m 14s
Regex fix for macos build #56: Commit 0c504d4 pushed by Ef55
December 16, 2024 15:33 7m 18s nds/regex-fix
nds/regex-fix
December 16, 2024 15:33 7m 18s
Add SumBool and some logic examples build #55: Commit f1532f4 pushed by Ef55
December 16, 2024 06:24 7m 15s main
main
December 16, 2024 06:24 7m 15s
Rewrite README and fix exe name build #54: Commit d98dbb5 pushed by Ef55
December 15, 2024 03:47 6m 44s main
main
December 15, 2024 03:47 6m 44s
Merge pull request #7 from Ef55/nds/fix-data-universes build #53: Commit 63bd260 pushed by Ef55
December 15, 2024 00:34 7m 45s main
main
December 15, 2024 00:34 7m 45s
Update README build #52: Commit ed27fd8 pushed by Ef55
December 15, 2024 00:25 8m 30s nds/fix-data-universes
nds/fix-data-universes
December 15, 2024 00:25 8m 30s
Merge branch 'main' into nds/fix-data-universes build #51: Commit 7997fde pushed by tannerduve
December 14, 2024 22:57 6m 33s nds/fix-data-universes
nds/fix-data-universes
December 14, 2024 22:57 6m 33s
Merge pull request #8 from Ef55/nds/guarded build #50: Commit 0be0f7d pushed by tannerduve
December 14, 2024 22:47 6m 57s main
main
December 14, 2024 22:47 6m 57s
Update README build #49: Commit 06ba334 pushed by Ef55
December 14, 2024 21:46 7m 32s nds/guarded
nds/guarded
December 14, 2024 21:46 7m 32s
Add check preventing recursion on non-"recursive component" build #48: Commit 3adbc1c pushed by Ef55
December 14, 2024 21:35 7m 19s nds/guarded
nds/guarded
December 14, 2024 21:35 7m 19s
Update README build #47: Commit 8de031d pushed by Ef55
December 14, 2024 21:02 6m 53s nds/fix-data-universes
nds/fix-data-universes
December 14, 2024 21:02 6m 53s
Remove builtin Sigma type build #46: Commit ba7b2b5 pushed by Ef55
December 14, 2024 20:58 6m 50s nds/fix-data-universes
nds/fix-data-universes
December 14, 2024 20:58 6m 50s
Add more examples related to logic build #45: Commit 7656e9b pushed by Ef55
December 14, 2024 20:55 7m 10s main
main
December 14, 2024 20:55 7m 10s
Merge pull request #6 from Ef55/prf-elim build #44: Commit 7f366a8 pushed by Ef55
December 14, 2024 20:07 7m 50s main
main
December 14, 2024 20:07 7m 50s
fixed test build #43: Commit 24e1b9d pushed by Ef55
December 14, 2024 19:29 6m 48s prf-elim
prf-elim
December 14, 2024 19:29 6m 48s
Remove builtin Sigma type build #42: Commit 3a547ac pushed by Ef55
December 14, 2024 19:26 7m 13s nds/fix-data-universes
nds/fix-data-universes
December 14, 2024 19:26 7m 13s
Fix interplay datatypes+universes, slight tweaks to universe subtyping build #41: Commit 228f6bf pushed by Ef55
December 14, 2024 18:16 7m 50s nds/fix-data-universes
nds/fix-data-universes
December 14, 2024 18:16 7m 50s
fixed test build #40: Commit 24e1b9d pushed by tannerduve
December 14, 2024 00:09 6m 48s prf-elim-bis
prf-elim-bis
December 14, 2024 00:09 6m 48s
Alternative prop-elim? build #39: Commit 9154c6f pushed by Ef55
December 13, 2024 22:11 6m 57s prf-elim-bis
prf-elim-bis
December 13, 2024 22:11 6m 57s
Enable missing tests and fix error message on universe inconsistency build #38: Commit 76ba4ad pushed by Ef55
December 13, 2024 22:03 7m 11s prf-elim
prf-elim
December 13, 2024 22:03 7m 11s
Proof Erasability and Singleton Elimination build #37: Commit d9f5509 pushed by tannerduve
December 13, 2024 01:41 7m 16s prf-elim
prf-elim
December 13, 2024 01:41 7m 16s
Merge pull request #5 from Ef55/nds/relevance build #36: Commit 0de9f1f pushed by tannerduve
December 13, 2024 01:38 7m 11s main
main
December 13, 2024 01:38 7m 11s
Proof Erasability and Singleton Elimination build #35: Commit be78329 pushed by tannerduve
December 13, 2024 01:36 7m 15s main
main
December 13, 2024 01:36 7m 15s
Add guardness check build #34: Commit ad5d29b pushed by Ef55
December 11, 2024 02:03 7m 4s nds/guarded
nds/guarded
December 11, 2024 02:03 7m 4s
Merge pull request #5 from Ef55/nds/relevance build #33: Commit 0de9f1f pushed by tannerduve
December 11, 2024 01:51 7m 5s tduve/universes
tduve/universes
December 11, 2024 01:51 7m 5s