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

Python API test: Add missing test for sort substitution. (#10506) CI #1747: Commit 27e8c50 pushed by HanielB
March 18, 2024 16:14 30m 52s main
main
March 18, 2024 16:14 30m 52s
Add missing test for API coverage in nightlies. (#10498) CI #1746: Commit 2ec241f pushed by HanielB
March 13, 2024 16:56 1h 7m 1s main
main
March 13, 2024 16:56 1h 7m 1s
improving script CI #1745: Commit a22a83d pushed by HanielB
March 2, 2024 18:25 29m 41s aletheError
aletheError
March 2, 2024 18:25 29m 41s
fix resolution handling in the Alethe post-processor when pivots have… CI #1744: Commit c9e8950 pushed by HanielB
March 2, 2024 17:41 29m 23s aletheError
aletheError
March 2, 2024 17:41 29m 23s
utils for running CI #1743: Commit 5e80e14 pushed by HanielB
March 2, 2024 05:36 52m 11s aletheError
aletheError
March 2, 2024 05:36 52m 11s
Merge branch 'proof-new' into aletheError CI #1742: Commit 09b0b5e pushed by HanielB
March 2, 2024 05:04 31m 28s aletheError
aletheError
March 2, 2024 05:04 31m 28s
fix from merge CI #1741: Commit cc68ef9 pushed by HanielB
March 2, 2024 04:51 14m 31s aletheError
aletheError
March 2, 2024 04:51 14m 31s
disabling define-fun-rec regressions CI #1740: Commit d580f2d pushed by HanielB
March 2, 2024 04:33 18m 12s aletheError
aletheError
March 2, 2024 04:33 18m 12s
refactoring and fixing trichotomy translation CI #1739: Commit b67168f pushed by HanielB
March 2, 2024 04:27 6m 21s aletheError
aletheError
March 2, 2024 04:27 6m 21s
transient CI #1738: Commit 5e820df pushed by HanielB
March 1, 2024 00:01 29m 39s aletheError
aletheError
March 1, 2024 00:01 29m 39s
fix prefixing of identifiers in subproofs CI #1737: Commit da005bf pushed by HanielB
February 29, 2024 15:40 30m 48s aletheError
aletheError
February 29, 2024 15:40 30m 48s
more disabling CI #1736: Commit 4cd8d6d pushed by HanielB
February 29, 2024 15:35 5m 38s aletheError
aletheError
February 29, 2024 15:35 5m 38s
refactoring printer to fix bugs CI #1735: Commit 77e5b05 pushed by HanielB
February 29, 2024 01:31 30m 4s aletheError
aletheError
February 29, 2024 01:31 30m 4s
fix CI #1734: Commit 7102f90 pushed by HanielB
February 28, 2024 18:07 31m 48s aletheError
aletheError
February 28, 2024 18:07 31m 48s
fix CI #1733: Commit 5a82854 pushed by HanielB
February 28, 2024 17:57 10m 46s aletheError
aletheError
February 28, 2024 17:57 10m 46s
more disabling CI #1732: Commit a3f940c pushed by HanielB
February 28, 2024 16:38 30m 6s aletheError
aletheError
February 28, 2024 16:38 30m 6s
correctly getting names and printing them when quoted CI #1731: Commit 2ef1c91 pushed by HanielB
February 27, 2024 20:07 39m 44s aletheError
aletheError
February 27, 2024 20:07 39m 44s
lots of disabling CI #1730: Commit f8efd04 pushed by HanielB
February 27, 2024 15:59 29m 25s aletheError
aletheError
February 27, 2024 15:59 29m 25s
fixing bug CI #1729: Commit 49b03c6 pushed by HanielB
February 26, 2024 21:08 29m 51s aletheError
aletheError
February 26, 2024 21:08 29m 51s
fix CI #1728: Commit 8ec7aa9 pushed by HanielB
February 26, 2024 19:01 30m 30s aletheError
aletheError
February 26, 2024 19:01 30m 30s
reenabling CI #1727: Commit bef410c pushed by HanielB
February 26, 2024 17:42 8m 34s aletheError
aletheError
February 26, 2024 17:42 8m 34s
more CI #1726: Commit c13dbe2 pushed by HanielB
February 26, 2024 15:26 8m 33s aletheError
aletheError
February 26, 2024 15:26 8m 33s
more CI #1725: Commit 01ca065 pushed by HanielB
February 26, 2024 15:10 8m 55s aletheError
aletheError
February 26, 2024 15:10 8m 55s
more disabling CI #1724: Commit e33a21b pushed by HanielB
February 26, 2024 01:12 4m 59s aletheError
aletheError
February 26, 2024 01:12 4m 59s
more disabling CI #1723: Commit 0de41a8 pushed by HanielB
February 25, 2024 20:54 4m 22s aletheError
aletheError
February 25, 2024 20:54 4m 22s