Skip to content

Actions: HanielB/cvc5

Actions

CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci.yml
83 workflow run results
83 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

more disabling CI #1722: Commit 40f15cf pushed by HanielB
February 25, 2024 20:50 4m 23s aletheError
aletheError
February 25, 2024 20:50 4m 23s
more disabling CI #1721: Commit a37c892 pushed by HanielB
February 25, 2024 20:46 4m 33s aletheError
aletheError
February 25, 2024 20:46 4m 33s
more disabling CI #1720: Commit 022e95d pushed by HanielB
February 25, 2024 17:45 29m 39s aletheError
aletheError
February 25, 2024 17:45 29m 39s
more disabling CI #1719: Commit e4322b5 pushed by HanielB
February 25, 2024 16:33 30m 20s aletheError
aletheError
February 25, 2024 16:33 30m 20s
more disabling CI #1718: Commit 06ec29c pushed by HanielB
February 25, 2024 16:10 23m 22s aletheError
aletheError
February 25, 2024 16:10 23m 22s
more disabling CI #1717: Commit 5fc9b01 pushed by HanielB
February 25, 2024 13:16 29m 18s aletheError
aletheError
February 25, 2024 13:16 29m 18s
more disabling CI #1716: Commit 64b9fda pushed by HanielB
February 24, 2024 22:28 30m 22s aletheError
aletheError
February 24, 2024 22:28 30m 22s
more disabling CI #1715: Commit 0f17127 pushed by HanielB
February 24, 2024 22:23 4m 51s aletheError
aletheError
February 24, 2024 22:23 4m 51s
more disabling CI #1714: Commit 303adb0 pushed by HanielB
February 24, 2024 22:12 11m 24s aletheError
aletheError
February 24, 2024 22:12 11m 24s
Merge branch 'proof-new' into aletheError CI #1713: Commit 2b463c6 pushed by HanielB
February 23, 2024 02:24 41m 59s aletheError
aletheError
February 23, 2024 02:24 41m 59s
Merge branch 'main' into aletheGranularity CI #1712: Commit d27757d pushed by ajreynol
February 21, 2024 21:39 44m 25s aletheGranularity
aletheGranularity
February 21, 2024 21:39 44m 25s
Merge branch 'main' into aletheGranularity CI #1711: Commit 19772ac pushed by ajreynol
February 21, 2024 20:58 41m 44s aletheGranularity
aletheGranularity
February 21, 2024 20:58 41m 44s
more CI #1710: Commit c906a9f pushed by HanielB
February 21, 2024 16:46 18m 9s aletheError
aletheError
February 21, 2024 16:46 18m 9s
transient CI #1709: Commit cbcfc5c pushed by HanielB
February 20, 2024 20:12 4m 46s aletheError
aletheError
February 20, 2024 20:12 4m 46s
Add option proof-elim-subtypes (#10407) CI #1708: Commit 506f5f4 pushed by HanielB
February 20, 2024 18:52 51m 21s main
main
February 20, 2024 18:52 51m 21s
transient CI #1707: Commit 7e7789a pushed by HanielB
February 20, 2024 18:41 51m 59s aletheError
aletheError
February 20, 2024 18:41 51m 59s
Merge branch 'main' into fixHOprint CI #1706: Commit 517fe01 pushed by ajreynol
February 20, 2024 14:27 27m 37s fixHOprint
fixHOprint
February 20, 2024 14:27 27m 37s
transient CI #1705: Commit 89e7d66 pushed by HanielB
February 20, 2024 13:55 52m 53s cvc5carcara
cvc5carcara
February 20, 2024 13:55 52m 53s
fix flattened printing of HO chains CI #1704: Commit 3644a86 pushed by HanielB
February 19, 2024 22:31 43m 23s fixHOprint
fixHOprint
February 19, 2024 22:31 43m 23s
address CI #1703: Commit d15cfce pushed by HanielB
February 19, 2024 21:55 16m 45s aletheGranularity
aletheGranularity
February 19, 2024 21:55 16m 45s
no longer use dedicate assume rule for Alethe backend CI #1702: Commit 46bab12 pushed by HanielB
February 16, 2024 22:00 55m 1s alethe2alf
alethe2alf
February 16, 2024 22:00 55m 1s
start removing custom assume CI #1701: Commit 3809b90 pushed by HanielB
February 16, 2024 21:08 18m 51s alethe2alf
alethe2alf
February 16, 2024 21:08 18m 51s
transient CI #1700: Commit e593dff pushed by HanielB
February 16, 2024 20:56 12m 38s alethe2alf
alethe2alf
February 16, 2024 20:56 12m 38s
minor CI #1699: Commit 9ddf727 pushed by HanielB
February 16, 2024 18:35 55m 37s aletheStrings
aletheStrings
February 16, 2024 18:35 55m 37s
[proofs] [alethe] Alethe format requires at least THEORY_REWRITE gran… CI #1698: Commit 75b2079 pushed by HanielB
February 16, 2024 14:21 44m 12s aletheGranularity
aletheGranularity
February 16, 2024 14:21 44m 12s