Skip to content

Actions: conjure-cp/conjure-oxide

Actions

Coverage

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
code-coverage.yml
1,386 workflow runs
1,386 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

fix(rules): apply ineq rules to x <= k + y as well as x <= y +k Coverage #1340: Pull request #578 synchronize by niklasdewally
January 8, 2025 18:09 6m 22s nik/pr/add-mul/symmetric-ineq-rules
nik/pr/add-mul/symmetric-ineq-rules
January 8, 2025 18:09 6m 22s
fix(rules): apply ineq rules to x <= k + y as well as x <= y +k Coverage #1339: Pull request #578 opened by niklasdewally
January 8, 2025 18:01 5m 39s nik/pr/add-mul/symmetric-ineq-rules
nik/pr/add-mul/symmetric-ineq-rules
January 8, 2025 18:01 5m 39s
rules: simplify Gt/Lt to Geq/Leq Coverage #1338: Pull request #576 opened by niklasdewally
January 8, 2025 17:22 8m 8s nik/pr/add-mul/simplify-gt-lt-to-geq-leq
nik/pr/add-mul/simplify-gt-lt-to-geq-leq
January 8, 2025 17:22 8m 8s
WIP: add WeightedSumLeq and WeightedSumGeq Coverage #1337: Pull request #575 opened by niklasdewally
January 8, 2025 17:21 8m 47s nik/pr/add-mul/convert-weighted-sums-to-minion
nik/pr/add-mul/convert-weighted-sums-to-minion
January 8, 2025 17:21 8m 47s
tests: disable rewrite_solve_xyz_parameterized by default Coverage #1336: Pull request #572 synchronize by niklasdewally
January 8, 2025 13:50 8m 30s nik/pr/disable-rewrite-parametric-test
nik/pr/disable-rewrite-parametric-test
January 8, 2025 13:50 8m 30s
test: remove rewrite_solve_xyz_paramaterized test case Coverage #1335: Pull request #573 opened by niklasdewally
January 8, 2025 13:45 5m 38s nik/pr/remove-rewrite-solve-xyz-parameterized
nik/pr/remove-rewrite-solve-xyz-parameterized
January 8, 2025 13:45 5m 38s
tests: disable rewrite_solve_xyz_parameterized by default Coverage #1334: Pull request #572 synchronize by niklasdewally
January 8, 2025 13:21 11m 35s nik/pr/disable-rewrite-parametric-test
nik/pr/disable-rewrite-parametric-test
January 8, 2025 13:21 11m 35s
tests: disable rewrite_solve_xyz_parameterized by default Coverage #1333: Pull request #572 synchronize by niklasdewally
January 8, 2025 13:20 10m 24s nik/pr/disable-rewrite-parametric-test
nik/pr/disable-rewrite-parametric-test
January 8, 2025 13:20 10m 24s
tests: disable rewrite_solve_xyz_parameterized by default Coverage #1332: Pull request #572 opened by niklasdewally
January 8, 2025 13:19 7m 37s nik/pr/disable-rewrite-parametric-test
nik/pr/disable-rewrite-parametric-test
January 8, 2025 13:19 7m 37s
Remove SumEq expression Coverage #1331: Pull request #571 synchronize by niklasdewally
January 8, 2025 12:54 5m 13s nik/pr/add-mul/remove-sum-eq
nik/pr/add-mul/remove-sum-eq
January 8, 2025 12:54 5m 13s
Remove SumEq expression Coverage #1330: Pull request #571 synchronize by niklasdewally
January 8, 2025 12:34 12m 38s nik/pr/add-mul/remove-sum-eq
nik/pr/add-mul/remove-sum-eq
January 8, 2025 12:34 12m 38s
Remove SumEq expression Coverage #1329: Pull request #571 synchronize by niklasdewally
January 8, 2025 12:31 17m 46s nik/pr/add-mul/remove-sum-eq
nik/pr/add-mul/remove-sum-eq
January 8, 2025 12:31 17m 46s
Convert Products to Minion Coverage #1328: Pull request #570 synchronize by niklasdewally
January 8, 2025 12:31 9m 30s nik/pr/add-mul/minion-conversion
nik/pr/add-mul/minion-conversion
January 8, 2025 12:31 9m 30s
Remove SumEq expression Coverage #1327: Pull request #571 synchronize by niklasdewally
January 8, 2025 12:23 17m 5s nik/pr/add-mul/remove-sum-eq
nik/pr/add-mul/remove-sum-eq
January 8, 2025 12:23 17m 5s
Convert Products to Minion Coverage #1326: Pull request #570 synchronize by niklasdewally
January 8, 2025 12:23 9m 21s nik/pr/add-mul/minion-conversion
nik/pr/add-mul/minion-conversion
January 8, 2025 12:23 9m 21s
Print new top level expressions to human-readable rule trace Coverage #1325: Pull request #568 synchronize by ozgurakgun
January 8, 2025 11:52 10m 40s nik/pr/print-top-level-exprs
nik/pr/print-top-level-exprs
January 8, 2025 11:52 10m 40s
Print new top level expressions to human-readable rule trace Coverage #1324: Pull request #568 synchronize by ozgurakgun
January 8, 2025 11:48 9m 52s nik/pr/print-top-level-exprs
nik/pr/print-top-level-exprs
January 8, 2025 11:48 9m 52s
Remove SumEq expression Coverage #1323: Pull request #571 synchronize by niklasdewally
January 7, 2025 23:19 8m 21s nik/pr/add-mul/remove-sum-eq
nik/pr/add-mul/remove-sum-eq
January 7, 2025 23:19 8m 21s
Remove SumEq expression Coverage #1322: Pull request #571 synchronize by niklasdewally
January 7, 2025 21:42 6m 55s nik/pr/add-mul/remove-sum-eq
nik/pr/add-mul/remove-sum-eq
January 7, 2025 21:42 6m 55s
Remove SumEq expression Coverage #1321: Pull request #571 synchronize by niklasdewally
January 7, 2025 21:39 7m 58s nik/pr/add-mul/remove-sum-eq
nik/pr/add-mul/remove-sum-eq
January 7, 2025 21:39 7m 58s
Remove SumEq expression Coverage #1320: Pull request #571 opened by niklasdewally
January 7, 2025 21:37 8m 5s nik/pr/add-mul/remove-sum-eq
nik/pr/add-mul/remove-sum-eq
January 7, 2025 21:37 8m 5s
Convert Products to Minion Coverage #1319: Pull request #570 synchronize by niklasdewally
January 7, 2025 20:46 7m 40s nik/pr/add-mul/minion-conversion
nik/pr/add-mul/minion-conversion
January 7, 2025 20:46 7m 40s
Convert Products to Minion Coverage #1318: Pull request #570 synchronize by niklasdewally
January 7, 2025 20:39 8m 31s nik/pr/add-mul/minion-conversion
nik/pr/add-mul/minion-conversion
January 7, 2025 20:39 8m 31s
Convert Products to Minion Coverage #1317: Pull request #570 opened by niklasdewally
January 7, 2025 20:11 7m 8s nik/pr/add-mul/minion-conversion
nik/pr/add-mul/minion-conversion
January 7, 2025 20:11 7m 8s
Print new top level expressions to human-readable rule trace Coverage #1316: Pull request #568 synchronize by niklasdewally
January 7, 2025 18:23 6m 45s nik/pr/print-top-level-exprs
nik/pr/print-top-level-exprs
January 7, 2025 18:23 6m 45s