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

track input ensured literals CI #1672: Commit 95fb4e4 pushed by HanielB
February 5, 2024 21:52 26m 5s dratt-new
dratt-new
February 5, 2024 21:52 26m 5s
more CI #1671: Commit 338dfa9 pushed by HanielB
February 5, 2024 17:02 1h 4m 3s dratt-new
dratt-new
February 5, 2024 17:02 1h 4m 3s
address CI #1670: Commit dd30904 pushed by HanielB
February 5, 2024 13:29 50m 52s assertionNamesInProofs
assertionNamesInProofs
February 5, 2024 13:29 50m 52s
format CI #1669: Commit 2f5a6b6 pushed by HanielB
February 3, 2024 01:17 56m 13s assertionNamesInProofs
assertionNamesInProofs
February 3, 2024 01:17 56m 13s
[proofs] Using user names in proof assumptions CI #1668: Commit e7e1b99 pushed by HanielB
February 3, 2024 01:16 1m 41s assertionNamesInProofs
assertionNamesInProofs
February 3, 2024 01:16 1m 41s
transient CI #1667: Commit bd54a47 pushed by HanielB
January 26, 2024 23:01 3m 43s dratt-new
dratt-new
January 26, 2024 23:01 3m 43s
Merge branch 'main' into option-get-unsat-core-lemmas CI #1666: Commit 4af1357 pushed by ajreynol
January 25, 2024 16:28 18m 8s option-get-unsat-core-lemmas
option-get-unsat-core-lemmas
January 25, 2024 16:28 18m 8s
add option to get unsat cores lemmas via the previously added command CI #1665: Commit 35060fd pushed by HanielB
January 23, 2024 15:51 41m 46s option-get-unsat-core-lemmas
option-get-unsat-core-lemmas
January 23, 2024 15:51 41m 46s