Skip to content

Actions: yoni206/cvc5

Actions

CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci.yml
179 workflow runs
179 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

tests CI #1449: Commit b9873e0 pushed by yoni206
August 1, 2024 18:08 16m 32s int_blasting_overflow
int_blasting_overflow
August 1, 2024 18:08 16m 32s
bb working CI #1448: Commit 90996d7 pushed by yoni206
August 1, 2024 18:04 4m 3s int_blasting_overflow
int_blasting_overflow
August 1, 2024 18:04 4m 3s
starting to try CI #1447: Commit cdcd125 pushed by yoni206
July 31, 2024 18:31 17m 7s int_blasting_overflow
int_blasting_overflow
July 31, 2024 18:31 17m 7s
forall and CI #1446: Commit 070885e pushed by yoni206
June 19, 2024 06:21 4m 18s 8798
8798
June 19, 2024 06:21 4m 18s
fix CI #1445: Commit 7ecb9de pushed by yoni206
June 18, 2024 12:42 13m 48s example_doc
example_doc
June 18, 2024 12:42 13m 48s
failing CI #1444: Commit 6bb8c05 pushed by yoni206
June 18, 2024 12:30 4m 34s 8798
8798
June 18, 2024 12:30 4m 34s
compiles CI #1443: Commit 763692a pushed by yoni206
June 18, 2024 12:03 4m 13s 8798
8798
June 18, 2024 12:03 4m 13s
backing up some more CI #1442: Commit 8f4a607 pushed by yoni206
June 18, 2024 11:14 15m 9s 8798
8798
June 18, 2024 11:14 15m 9s
backing up CI #1441: Commit 5c28c6f pushed by yoni206
June 18, 2024 11:09 5m 9s 8798
8798
June 18, 2024 11:09 5m 9s
Merge branch 'main' of https://github.com/cvc5/cvc5 CI #1440: Commit 8075006 pushed by yoni206
June 18, 2024 11:06 34m 43s main
main
June 18, 2024 11:06 34m 43s
motivating test CI #1439: Commit f57de0b pushed by yoni206
June 10, 2024 08:49 31m 32s bv2nat-uf
bv2nat-uf
June 10, 2024 08:49 31m 32s
test CI #1438: Commit bd331fb pushed by yoni206
June 10, 2024 08:17 4m 34s 8798
8798
June 10, 2024 08:17 4m 34s
address comments from review CI #1437: Commit c45dcdb pushed by yoni206
June 6, 2024 09:43 32m 32s uf_example
uf_example
June 6, 2024 09:43 32m 32s
Merge branch 'main' of https://github.com/cvc5/cvc5 CI #1436: Commit 816f742 pushed by yoni206
June 6, 2024 09:34 44m 39s main
main
June 6, 2024 09:34 44m 39s
Apply suggestions from code review CI #1435: Commit e61311b pushed by yoni206
June 6, 2024 09:34 9m 26s uf_example
uf_example
June 6, 2024 09:34 9m 26s
fix bm CI #1434: Commit 11330a2 pushed by yoni206
June 6, 2024 08:56 33m 46s bv2nat-uf
bv2nat-uf
June 6, 2024 08:56 33m 46s
better test CI #1433: Commit c8e445b pushed by yoni206
June 6, 2024 08:23 22m 17s bv2nat-uf
bv2nat-uf
June 6, 2024 08:23 22m 17s
test bigger CI #1432: Commit 442cf96 pushed by yoni206
June 6, 2024 06:49 30m 37s bv2nat-uf
bv2nat-uf
June 6, 2024 06:49 30m 37s
missing file CI #1431: Commit ec7edeb pushed by yoni206
June 4, 2024 09:48 29m 36s bv2nat-uf
bv2nat-uf
June 4, 2024 09:48 29m 36s
fix CI #1430: Commit d24b585 pushed by yoni206
June 4, 2024 09:12 8m 44s bv2nat-uf
bv2nat-uf
June 4, 2024 09:12 8m 44s
bugfix CI #1429: Commit b2d36e9 pushed by yoni206
June 4, 2024 08:46 9m 5s bv2nat-uf
bv2nat-uf
June 4, 2024 08:46 9m 5s
redundant lemma CI #1428: Commit aeb189d pushed by yoni206
June 4, 2024 06:23 4m 55s bv2nat-uf
bv2nat-uf
June 4, 2024 06:23 4m 55s
fix test CI #1427: Commit 5913995 pushed by yoni206
May 30, 2024 20:07 14m 27s bv2nat-uf
bv2nat-uf
May 30, 2024 20:07 14m 27s
test CI #1426: Commit f04fc1c pushed by yoni206
May 30, 2024 19:56 12m 1s bv2nat-uf
bv2nat-uf
May 30, 2024 19:56 12m 1s
Merge branch 'main' of https://github.com/cvc5/cvc5 CI #1425: Commit 7b78129 pushed by yoni206
May 30, 2024 18:50 31m 49s main
main
May 30, 2024 18:50 31m 49s