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

pseudo fix CI #1399: Commit 52b11dc pushed by yoni206
May 7, 2024 09:00 4m 24s 8798
8798
May 7, 2024 09:00 4m 24s
some docs CI #1398: Commit 642c64c pushed by yoni206
May 7, 2024 08:35 25m 3s 8798
8798
May 7, 2024 08:35 25m 3s
eliminating a set CI #1397: Commit f2ef976 pushed by yoni206
May 7, 2024 08:31 4m 6s 8798
8798
May 7, 2024 08:31 4m 6s
some documentation CI #1396: Commit fd4e9b6 pushed by yoni206
May 7, 2024 08:05 27m 0s 8798
8798
May 7, 2024 08:05 27m 0s
fixes CI #1395: Commit 1dc59c2 pushed by yoni206
May 7, 2024 07:43 21m 55s 8798
8798
May 7, 2024 07:43 21m 55s
minor CI #1394: Commit 060bae9 pushed by yoni206
May 6, 2024 06:05 4m 51s 8798
8798
May 6, 2024 06:05 4m 51s
working CI #1393: Commit f2c5653 pushed by yoni206
May 6, 2024 05:26 13m 0s 8798
8798
May 6, 2024 05:26 13m 0s
progress CI #1392: Commit 22e58c7 pushed by yoni206
May 2, 2024 20:31 8m 22s 8798
8798
May 2, 2024 20:31 8m 22s
maybe improvement CI #1391: Commit 8a4bc42 pushed by yoni206
May 2, 2024 11:17 4m 35s 8798
8798
May 2, 2024 11:17 4m 35s
compiles but does not add range constraints. Before I made the change… CI #1390: Commit 4615eba pushed by yoni206
May 2, 2024 10:05 1m 23s 8798
8798
May 2, 2024 10:05 1m 23s
Merge branch 'main' into 8798 CI #1389: Commit 61efcf0 pushed by yoni206
April 30, 2024 08:16 13m 37s 8798
8798
April 30, 2024 08:16 13m 37s
Merge remote-tracking branch 'upstream/main' CI #1388: Commit 20121de pushed by yoni206
April 30, 2024 08:15 31m 42s main
main
April 30, 2024 08:15 31m 42s
Merge branch 'main' into pow2fix CI #1387: Commit 3279d36 pushed by ajreynol
April 24, 2024 20:52 14m 0s pow2fix
pow2fix
April 24, 2024 20:52 14m 0s
add regression from issue CI #1386: Commit 3e33093 pushed by yoni206
April 24, 2024 18:39 22m 38s pow2fix
pow2fix
April 24, 2024 18:39 22m 38s
sync CI #1385: Commit f38e940 pushed by yoni206
April 24, 2024 17:20 57m 46s main
main
April 24, 2024 17:20 57m 46s
revert CI #1384: Commit 94ecade pushed by yoni206
April 24, 2024 17:19 37m 10s main
main
April 24, 2024 17:19 37m 10s
revert CI #1383: Commit 9e66c2a pushed by yoni206
April 24, 2024 17:18 11m 18s main
main
April 24, 2024 17:18 11m 18s
Merge branch 'main' into pow2fix CI #1382: Commit 1be0c5c pushed by yoni206
April 24, 2024 17:18 27m 35s pow2fix
pow2fix
April 24, 2024 17:18 27m 35s
tpo CI #1381: Commit 93b4e92 pushed by yoni206
April 24, 2024 17:13 30m 9s main
main
April 24, 2024 17:13 30m 9s
fix tests CI #1380: Commit 7668703 pushed by yoni206
April 24, 2024 17:06 4m 14s main
main
April 24, 2024 17:06 4m 14s
sync CI #1379: Commit f38e940 pushed by yoni206
April 24, 2024 16:39 35m 11s main
main
April 24, 2024 16:39 35m 11s
disable pow2 rewrite CI #1378: Commit 76b1236 pushed by yoni206
April 24, 2024 16:35 13m 46s pow2fix
pow2fix
April 24, 2024 16:35 13m 46s
Merge branch 'main' into pythonic_str_seq_ex CI #1377: Commit 0d48d88 pushed by ajreynol
April 19, 2024 12:34 16m 1s pythonic_str_seq_ex
pythonic_str_seq_ex
April 19, 2024 12:34 16m 1s
address review CI #1376: Commit 29b7bef pushed by yoni206
April 19, 2024 12:06 15m 39s pythonic-str-seq-doc
pythonic-str-seq-doc
April 19, 2024 12:06 15m 39s
Merge branch 'main' of https://github.com/cvc5/cvc5 CI #1375: Commit 0df7793 pushed by yoni206
April 19, 2024 08:02 32m 36s main
main
April 19, 2024 08:02 32m 36s