Skip to content

Actions: HanielB/cvc5

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
1,454 workflow runs
1,454 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

transient CI #1687: Commit 951da0e pushed by HanielB
February 7, 2024 20:29 4m 21s noSubtyping
noSubtyping
February 7, 2024 20:29 4m 21s
Merge branch 'main' into proof-new CI #1686: Commit 7b23072 pushed by HanielB
February 7, 2024 20:28 2m 31s fixAlethe
fixAlethe
February 7, 2024 20:28 2m 31s
Upload Docs Upload Docs #912: completed by HanielB
February 7, 2024 16:18 2s
February 7, 2024 16:18 2s
more CI #1685: Commit adf505f pushed by HanielB
February 7, 2024 15:52 26m 29s drat-lemmas
drat-lemmas
February 7, 2024 15:52 26m 29s
Upload Docs Upload Docs #911: completed by HanielB
February 7, 2024 15:41 2s
February 7, 2024 15:41 2s
collecting lemma hints CI #1684: Commit cfc0f21 pushed by HanielB
February 7, 2024 15:14 27m 1s duper-output
duper-output
February 7, 2024 15:14 27m 1s
PyPi packaging PyPi packaging #693: Scheduled
February 7, 2024 01:45 2s main
main
February 7, 2024 01:45 2s
documentation cleanup documentation cleanup #866: Scheduled
February 7, 2024 01:42 2s main
main
February 7, 2024 01:42 2s
Upload Docs Upload Docs #910: completed by HanielB
February 6, 2024 21:48 2s
February 6, 2024 21:48 2s
transient CI #1683: Commit 2da165f pushed by HanielB
February 6, 2024 20:42 1h 6m 9s duper-output
duper-output
February 6, 2024 20:42 1h 6m 9s
Upload Docs Upload Docs #909: completed by HanielB
February 6, 2024 18:35 1s
February 6, 2024 18:35 1s
Upload Docs Upload Docs #908: completed by ajreynol
February 6, 2024 18:30 1s
February 6, 2024 18:30 1s
Upload Docs Upload Docs #907: completed by HanielB
February 6, 2024 18:30 2s
February 6, 2024 18:30 2s
transient CI #1682: Commit 03870ec pushed by HanielB
February 6, 2024 18:30 4m 46s duper-output
duper-output
February 6, 2024 18:30 4m 46s
Merge branch 'main' of https://github.com/cvc5/cvc5 into proof-new CI #1681: Commit 7408569 pushed by HanielB
February 6, 2024 18:30 28s duper-output
duper-output
February 6, 2024 18:30 28s
Merge branch 'main' into assertionNamesInProofs CI #1680: Commit b175a1a pushed by ajreynol
February 6, 2024 17:59 31m 26s assertionNamesInProofs
assertionNamesInProofs
February 6, 2024 17:59 31m 26s
Upload Docs Upload Docs #906: completed by ajreynol
February 6, 2024 17:54 2s
February 6, 2024 17:54 2s
Upload Docs Upload Docs #905: completed by HanielB
February 6, 2024 17:11 1s
February 6, 2024 17:11 1s
Merge branch 'main' into assertionNamesInProofs CI #1679: Commit 77bac7e pushed by ajreynol
February 6, 2024 17:10 43m 14s assertionNamesInProofs
assertionNamesInProofs
February 6, 2024 17:10 43m 14s
address CI #1678: Commit 74da5d6 pushed by HanielB
February 6, 2024 17:01 9m 36s assertionNamesInProofs
assertionNamesInProofs
February 6, 2024 17:01 9m 36s
Upload Docs Upload Docs #904: completed by HanielB
February 6, 2024 03:37 2s
February 6, 2024 03:37 2s
more CI #1677: Commit b4135e9 pushed by HanielB
February 6, 2024 02:38 59m 3s drat-lemmas
drat-lemmas
February 6, 2024 02:38 59m 3s
Upload Docs Upload Docs #903: completed by HanielB
February 6, 2024 02:24 2s
February 6, 2024 02:24 2s
fixing bugs in DIMACS generation CI #1676: Commit 955921b pushed by HanielB
February 6, 2024 02:20 3m 40s drat-lemmas
drat-lemmas
February 6, 2024 02:20 3m 40s
PyPi packaging PyPi packaging #692: Scheduled
February 6, 2024 01:46 1s main
main
February 6, 2024 01:46 1s
ProTip! You can narrow down the results and go further in time using created:<2024-02-06 or the other filters available.