Skip to content

Actions: yoni206/cvc5

Actions

CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci.yml
180 workflow runs
180 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

add test CI #1349: Commit e0d54b8 pushed by yoni206
November 23, 2023 14:46 40m 37s 9053
9053
November 23, 2023 14:46 40m 37s
fix tests CI #1348: Commit 15a4bd7 pushed by yoni206
November 23, 2023 14:45 50s 9053
9053
November 23, 2023 14:45 50s
tests CI #1347: Commit 709119c pushed by yoni206
November 23, 2023 14:43 2m 20s 9053
9053
November 23, 2023 14:43 2m 20s
Merge remote-tracking branch 'upstream/main' CI #1346: Commit b4b2873 pushed by yoni206
November 23, 2023 14:35 27m 6s main
main
November 23, 2023 14:35 27m 6s
comment CI #1345: Commit 8405689 pushed by yoni206
November 22, 2023 11:38 33m 42s 686
686
November 22, 2023 11:38 33m 42s
fix and test CI #1344: Commit 921446b pushed by yoni206
November 22, 2023 09:45 39m 17s 686
686
November 22, 2023 09:45 39m 17s
Merge branch 'main' into bv_to_int_quant_uf CI #1343: Commit 583826b pushed by ajreynol
October 18, 2023 16:58 47m 14s bv_to_int_quant_uf
bv_to_int_quant_uf
October 18, 2023 16:58 47m 14s
Update src/theory/bv/int_blaster.cpp CI #1342: Commit 822bb3b pushed by yoni206
October 17, 2023 16:14 1h 7m 15s bv_to_int_quant_uf
bv_to_int_quant_uf
October 17, 2023 16:14 1h 7m 15s
Merge branch 'main' into 10080 CI #1341: Commit 1322104 pushed by ajreynol
October 10, 2023 14:14 26m 38s 10080
10080
October 10, 2023 14:14 26m 38s
Merge branch 'main' into bv-to-int-non-experimental CI #1340: Commit b814817 pushed by ajreynol
October 10, 2023 01:03 30m 2s bv-to-int-non-experimental
bv-to-int-non-experimental
October 10, 2023 01:03 30m 2s
clang CI #1339: Commit b99ac8c pushed by yoni206
October 6, 2023 12:57 48m 2s 10080
10080
October 6, 2023 12:57 48m 2s
doc CI #1338: Commit 5a85b3a pushed by yoni206
October 6, 2023 12:57 18s 10080
10080
October 6, 2023 12:57 18s
remove comments CI #1337: Commit e438421 pushed by yoni206
October 6, 2023 12:56 1m 17s 10080
10080
October 6, 2023 12:56 1m 17s
fix test CI #1336: Commit e9c83f7 pushed by yoni206
October 6, 2023 12:56 53s 10080
10080
October 6, 2023 12:56 53s
fix CI #1335: Commit 7d57ea1 pushed by yoni206
October 6, 2023 12:55 1m 18s 10080
10080
October 6, 2023 12:55 1m 18s
Merge branch 'main' of https://github.com/cvc5/cvc5 CI #1334: Commit c926d61 pushed by yoni206
October 6, 2023 12:36 1h 10m 23s main
main
October 6, 2023 12:36 1h 10m 23s
regular CI #1333: Commit 494eba8 pushed by yoni206
October 5, 2023 21:48 49m 18s bv-to-int-non-experimental
bv-to-int-non-experimental
October 5, 2023 21:48 49m 18s
fix spacing CI #1332: Commit f38f6be pushed by yoni206
October 5, 2023 21:41 49m 23s bv_to_int_quant_uf
bv_to_int_quant_uf
October 5, 2023 21:41 49m 23s
clang CI #1331: Commit b4b075e pushed by yoni206
October 5, 2023 21:40 1m 26s bv_to_int_quant_uf
bv_to_int_quant_uf
October 5, 2023 21:40 1m 26s
comments CI #1330: Commit 94038c7 pushed by yoni206
October 5, 2023 21:39 41s bv_to_int_quant_uf
bv_to_int_quant_uf
October 5, 2023 21:39 41s
tests CI #1329: Commit 59e839c pushed by yoni206
October 5, 2023 21:36 4m 9s bv_to_int_quant_uf
bv_to_int_quant_uf
October 5, 2023 21:36 4m 9s
fix CI #1328: Commit 1885d63 pushed by yoni206
October 5, 2023 21:29 6m 59s bv_to_int_quant_uf
bv_to_int_quant_uf
October 5, 2023 21:29 6m 59s
starting to work on quantified uf CI #1327: Commit 5f4933b pushed by yoni206
October 5, 2023 20:10 28m 0s bv_to_int_quant_uf
bv_to_int_quant_uf
October 5, 2023 20:10 28m 0s
fix CI #1326: Commit 248e41a pushed by yoni206
September 28, 2023 17:22 47m 58s andy_alf
andy_alf
September 28, 2023 17:22 47m 58s
Merge branch 'main' into run_regression_fix CI #1325: Commit 6a1af9a pushed by yoni206
September 12, 2023 21:12 43m 55s run_regression_fix
run_regression_fix
September 12, 2023 21:12 43m 55s