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

Apply suggestions from code review CI #1474: Commit 8b43f17 pushed by yoni206
August 22, 2024 12:12 7m 7s int_blasting_overflow
int_blasting_overflow
August 22, 2024 12:12 7m 7s
minor CI #1473: Commit 1d49179 pushed by yoni206
August 19, 2024 23:39 36m 36s int_blasting_overflow
int_blasting_overflow
August 19, 2024 23:39 36m 36s
Merge branch 'main' into int_blasting_overflow CI #1472: Commit 7e3dbf9 pushed by yoni206
August 19, 2024 23:32 7m 34s int_blasting_overflow
int_blasting_overflow
August 19, 2024 23:32 7m 34s
Merge branch 'main' of https://github.com/cvc5/cvc5 CI #1471: Commit fcfaae8 pushed by yoni206
August 19, 2024 23:31 31m 6s main
main
August 19, 2024 23:31 31m 6s
tests CI #1470: Commit 104baa5 pushed by yoni206
August 19, 2024 08:06 15m 36s int_blasting_overflow
int_blasting_overflow
August 19, 2024 08:06 15m 36s
doc CI #1469: Commit 8950969 pushed by yoni206
August 19, 2024 08:03 2m 56s int_blasting_overflow
int_blasting_overflow
August 19, 2024 08:03 2m 56s
minor CI #1468: Commit 206445c pushed by yoni206
August 19, 2024 07:53 10m 46s int_blasting_overflow
int_blasting_overflow
August 19, 2024 07:53 10m 46s
clang CI #1467: Commit 5a67009 pushed by yoni206
August 19, 2024 07:50 3m 19s int_blasting_overflow
int_blasting_overflow
August 19, 2024 07:50 3m 19s
minor CI #1466: Commit 6b350d7 pushed by yoni206
August 19, 2024 07:48 2m 45s int_blasting_overflow
int_blasting_overflow
August 19, 2024 07:48 2m 45s
fix CI #1465: Commit 8e40f21 pushed by yoni206
August 19, 2024 07:43 4m 52s int_blasting_overflow
int_blasting_overflow
August 19, 2024 07:43 4m 52s
Not working CI #1464: Commit c29ee6e pushed by yoni206
August 18, 2024 17:29 1m 31s int_blasting_overflow
int_blasting_overflow
August 18, 2024 17:29 1m 31s
trying to implement andy's suggestion CI #1463: Commit 9ea2b0f pushed by yoni206
August 18, 2024 16:06 5m 51s int_blasting_overflow
int_blasting_overflow
August 18, 2024 16:06 5m 51s
fix CI #1462: Commit dbc234a pushed by yoni206
August 17, 2024 15:17 36m 0s iand_utils_warn
iand_utils_warn
August 17, 2024 15:17 36m 0s
fix warning CI #1461: Commit 60cfc10 pushed by yoni206
August 17, 2024 15:16 1m 36s iand_utils_warn
iand_utils_warn
August 17, 2024 15:16 1m 36s
Merge branch 'main' of https://github.com/cvc5/cvc5 CI #1460: Commit 2dd70ba pushed by yoni206
August 17, 2024 14:45 37m 53s main
main
August 17, 2024 14:45 37m 53s
handling overflows CI #1459: Commit 9c45467 pushed by yoni206
August 2, 2024 05:30 5m 10s int_blasting_overflow
int_blasting_overflow
August 2, 2024 05:30 5m 10s
still rewriting nego and sdivo becuase their elimination is easy CI #1458: Commit df3dc90 pushed by yoni206
August 2, 2024 04:49 5m 15s int_blasting_overflow
int_blasting_overflow
August 2, 2024 04:49 5m 15s
nego tests CI #1457: Commit 6bc2888 pushed by yoni206
August 2, 2024 04:37 8m 39s overflow_tests
overflow_tests
August 2, 2024 04:37 8m 39s
changing uts CI #1456: Commit c93dc35 pushed by yoni206
August 2, 2024 04:30 5m 36s int_blasting_overflow
int_blasting_overflow
August 2, 2024 04:30 5m 36s
fix test CI #1455: Commit a5c2583 pushed by yoni206
August 1, 2024 19:48 14m 45s overflow_tests
overflow_tests
August 1, 2024 19:48 14m 45s
tests CI #1454: Commit 18d4156 pushed by yoni206
August 1, 2024 19:32 5m 12s int_blasting_overflow
int_blasting_overflow
August 1, 2024 19:32 5m 12s
revert CI #1453: Commit af243d7 pushed by yoni206
August 1, 2024 19:10 19m 26s overflow_tests
overflow_tests
August 1, 2024 19:10 19m 26s
fixing tests CI #1452: Commit 511c9de pushed by yoni206
August 1, 2024 18:48 22m 29s overflow_tests
overflow_tests
August 1, 2024 18:48 22m 29s
sync CI #1451: Commit 5db031e pushed by yoni206
August 1, 2024 18:45 43m 31s main
main
August 1, 2024 18:45 43m 31s
fixing tests CI #1450: Commit e84642e pushed by yoni206
August 1, 2024 18:43 17m 3s int_blasting_overflow
int_blasting_overflow
August 1, 2024 18:43 17m 3s