Skip to content

Actions: conjure-cp/conjure

Actions

Running all tests (code coverage)

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
test-coverage.yml
100 workflow runs
100 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #665 from conjure-cp/enum-json-parsing Running all tests (code coverage) #166: Commit 86c3de8 pushed by ozgurakgun
October 7, 2024 20:57 2h 39m 48s main
main
October 7, 2024 20:57 2h 39m 48s
improve name reuse checking - removing a false positive Running all tests (code coverage) #165: Commit 03d6014 pushed by ozgurakgun
September 25, 2024 18:47 2h 21m 19s main
main
September 25, 2024 18:47 2h 21m 19s
Merge pull request #660 from conjure-cp/streamliners-lowhigh-fix Running all tests (code coverage) #164: Commit 843ec48 pushed by ozgurakgun
June 24, 2024 12:33 2h 40m 42s main
main
June 24, 2024 12:33 2h 40m 42s
Merge pull request #661 from conjure-cp/update-minion-url Running all tests (code coverage) #163: Commit 469f8ae pushed by ozgurakgun
June 20, 2024 19:00 2h 39m 50s main
main
June 20, 2024 19:00 2h 39m 50s
Merge pull request #657 from conjure-cp/remove-horizontal-sequence-rules Running all tests (code coverage) #162: Commit 350f94d pushed by ozgurakgun
May 13, 2024 08:35 2h 39m 38s main
main
May 13, 2024 08:35 2h 39m 38s
Merge pull request #656 from conjure-cp/finer-streamliners Running all tests (code coverage) #161: Commit 5b5cc97 pushed by ozgurakgun
May 10, 2024 15:37 2h 38m 18s main
main
May 10, 2024 15:37 2h 38m 18s
Merge pull request #658 from conjure-cp/ci-solver-build Running all tests (code coverage) #160: Commit b1e5f7b pushed by ozgurakgun
May 8, 2024 08:38 2h 42m 14s main
main
May 8, 2024 08:38 2h 42m 14s
catch another SR error message: ERROR: Failed when writing SAT encodi… Running all tests (code coverage) #159: Commit f237199 pushed by ozgurakgun
May 4, 2024 13:09 2h 30m 8s main
main
May 4, 2024 13:09 2h 30m 8s
add preImage seq test case Running all tests (code coverage) #158: Commit a5ea345 pushed by ozgurakgun
April 27, 2024 20:58 2h 42m 21s main
main
April 27, 2024 20:58 2h 42m 21s
lint Running all tests (code coverage) #157: Commit 25e9bc6 pushed by ozgurakgun
April 20, 2024 22:25 2h 23m 34s main
main
April 20, 2024 22:25 2h 23m 34s
bugfix: bubbling up through comprehensions that contain lettings Running all tests (code coverage) #156: Commit 5904887 pushed by ozgurakgun
April 13, 2024 22:40 2h 23m 29s main
main
April 13, 2024 22:40 2h 23m 29s
catch a runsolver message Running all tests (code coverage) #155: Commit 1cf7f33 pushed by ozgurakgun
April 12, 2024 09:47 2h 23m 15s main
main
April 12, 2024 09:47 2h 23m 15s
stats.json reorg Running all tests (code coverage) #154: Commit 57d3845 pushed by ozgurakgun
April 9, 2024 15:56 2h 22m 27s main
main
April 9, 2024 15:56 2h 22m 27s
SR AssertionError Running all tests (code coverage) #153: Commit 80b2703 pushed by ozgurakgun
April 4, 2024 10:32 2h 26m 56s main
main
April 4, 2024 10:32 2h 26m 56s
catch a runsolver memout message Running all tests (code coverage) #152: Commit e042221 pushed by ozgurakgun
April 2, 2024 06:10 2h 25m 52s main
main
April 2, 2024 06:10 2h 25m 52s
catch invalid instances Running all tests (code coverage) #151: Commit 4870b33 pushed by ozgurakgun
April 2, 2024 05:43 2h 21m 23s main
main
April 2, 2024 05:43 2h 21m 23s
update runsolver version Running all tests (code coverage) #150: Commit 09e312f pushed by ozgurakgun
March 30, 2024 22:22 2h 21m 55s main
main
March 30, 2024 22:22 2h 21m 55s
update runsolver version Running all tests (code coverage) #149: Commit cef5517 pushed by ozgurakgun
March 30, 2024 22:18 2h 28m 36s main
main
March 30, 2024 22:18 2h 28m 36s
typo Running all tests (code coverage) #148: Commit e286220 pushed by ozgurakgun
March 30, 2024 22:00 2h 21m 21s main
main
March 30, 2024 22:00 2h 21m 21s
print the SR command together with runsolver in verbose mode Running all tests (code coverage) #147: Commit 647990c pushed by ozgurakgun
March 30, 2024 21:44 2h 20m 32s main
main
March 30, 2024 21:44 2h 20m 32s
add --runsolver-wall-time-limit Running all tests (code coverage) #146: Commit 78f2b3f pushed by ozgurakgun
March 29, 2024 21:58 2h 22m 51s main
main
March 29, 2024 21:58 2h 22m 51s
use oz's mirror of runsolver that has a hacky --quiet mode Running all tests (code coverage) #145: Commit 8ad1d61 pushed by ozgurakgun
March 28, 2024 20:36 2h 21m 58s main
main
March 28, 2024 20:36 2h 21m 58s
oops Running all tests (code coverage) #144: Commit 951e2d7 pushed by ozgurakgun
March 27, 2024 10:44 2h 27m 26s main
main
March 27, 2024 10:44 2h 27m 26s
using runsolver-logs to set the value of status Running all tests (code coverage) #143: Commit 45e07df pushed by ozgurakgun
March 27, 2024 10:28 3m 11s main
main
March 27, 2024 10:28 3m 11s
save runsolver logs in a file Running all tests (code coverage) #142: Commit a6d42fa pushed by ozgurakgun
March 27, 2024 10:04 2h 29m 58s main
main
March 27, 2024 10:04 2h 29m 58s