Skip to content

Actions: cvc5/logos

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
2,500+ workflow runs
2,500+ workflow runs

Filter by Workflow

⌥ + click/return to exclude

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
Minimize dependencies for Spec CI #1829: Commit 56efff8 pushed by ajreynol
16m 54s logosTerm
logosTerm
16m 54s
Fix CI #1828: Commit f90ac5c pushed by ajreynol
8m 0s charNatSemantic
charNatSemantic
8m 0s
More minor changes CI #1827: Commit fb2e371 pushed by ajreynol
8m 27s charNatSemantic
charNatSemantic
8m 27s
Prove BV_REPEAT_ELIM CI #1826: Commit d299bb8 pushed by ajreynol
19m 33s bvRepeatElim
bvRepeatElim
19m 33s
Patched back CI #1825: Commit 737d786 pushed by ajreynol
7m 33s charNatSemantic
charNatSemantic
7m 33s
More CI #1824: Commit 1d6e32f pushed by ajreynol
19m 39s dtCollapseSel
dtCollapseSel
19m 39s
Compiled CI #1823: Commit 8a32060 pushed by ajreynol
6m 30s charNatSemantic
charNatSemantic
6m 30s
Merge branch 'main' into charNatSemantic CI #1822: Commit 19b94f7 pushed by ajreynol
7m 39s charNatSemantic
charNatSemantic
7m 39s
Minor reorganization of core definitions (#176) CI #1821: Commit a86b342 pushed by ajreynol
20m 16s main
main
20m 16s
Refactoring rule supports CI #1820: Pull request #178 opened by ajreynol
20m 15s refactorRuleDeps
refactorRuleDeps
20m 15s
Minor reorganization of core definitions CI #1819: Pull request #176 synchronize by ajreynol
20m 6s minorReorg
minorReorg
20m 6s
Merge branch 'minorReorg' of https://github.com/ajreynol/logos into m… CI #1818: Commit c08ff9a pushed by ajreynol
19m 4s minorReorg
minorReorg
19m 4s
Minor reorganization of core definitions CI #1817: Pull request #176 synchronize by ajreynol
19m 15s minorReorg
minorReorg
19m 15s
Fix CI #1816: Commit ddcac7b pushed by ajreynol
20m 49s minorReorg
minorReorg
20m 49s
More, probably not going to work CI #1815: Commit 7c6d112 pushed by ajreynol
21m 49s dtCollapseSel
dtCollapseSel
21m 49s
More CI #1814: Commit 7ebdbad pushed by ajreynol
20m 29s dtCollapseSel
dtCollapseSel
20m 29s
Merge branch 'main' into charNatSemantic CI #1813: Commit 33808ed pushed by ajreynol
7m 55s charNatSemantic
charNatSemantic
7m 55s
More CI #1812: Commit 1c89fe0 pushed by ajreynol
7m 41s charNatSemantic
charNatSemantic
7m 41s
More CI #1811: Commit 2e7002f pushed by ajreynol
21m 27s dtCollapseSel
dtCollapseSel
21m 27s
Prove CONCAT_LPROP (#177) CI #1810: Commit 888f98d pushed by ajreynol
21m 12s main
main
21m 12s
More CI #1809: Commit c91016f pushed by ajreynol
21m 53s dtCollapseSel
dtCollapseSel
21m 53s
Minor reorganization of core definitions CI #1808: Pull request #176 synchronize by ajreynol
19m 35s minorReorg
minorReorg
19m 35s
Fix CI #1807: Commit b5db850 pushed by ajreynol
22m 3s minorReorg
minorReorg
22m 3s
Refactoring rule supports CI #1806: Commit ea567df pushed by ajreynol
20m 37s refactorRuleDeps
refactorRuleDeps
20m 37s
Switch semantics for Char CI #1805: Commit 532f4c1 pushed by ajreynol
2m 7s charNatSemantic
charNatSemantic
2m 7s
ProTip! You can narrow down the results and go further in time using created:<2026-05-22 or the other filters available.