Skip to content

Actions: CPMpy/cpmpy

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
1,001 workflow runs
1,001 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Additional competition install instructions Github Tests #1878: Commit 9e7bdbc pushed by ThomSerg
June 7, 2024 09:36 2m 6s xcsp3_executable
xcsp3_executable
June 7, 2024 09:36 2m 6s
Better gurobi supported errors Github Tests #1877: Commit 2258f2a pushed by ThomSerg
June 7, 2024 09:12 1m 57s xcsp3_executable
xcsp3_executable
June 7, 2024 09:12 1m 57s
Merge branch 'xcsp3_executable' into exact_2.0.0 Github Tests #1876: Commit ae3cd60 pushed by ThomSerg
June 6, 2024 19:16 1m 55s exact_2.0.0
exact_2.0.0
June 6, 2024 19:16 1m 55s
Remove bug from d9b92f759958eccb8c8bff71ed381574980fd33f Github Tests #1875: Commit a86cbe9 pushed by ThomSerg
June 6, 2024 16:04 2m 12s xcsp3_executable
xcsp3_executable
June 6, 2024 16:04 2m 12s
No max memory for Z3 opt Github Tests #1874: Commit efb2854 pushed by ThomSerg
June 6, 2024 15:47 2m 8s xcsp3_executable
xcsp3_executable
June 6, 2024 15:47 2m 8s
Export utilities Github Tests #1873: Commit d817f44 pushed by ThomSerg
June 6, 2024 15:44 2m 3s xcsp3_executable
xcsp3_executable
June 6, 2024 15:44 2m 3s
Another Z3 argument fix Github Tests #1872: Commit f9f3143 pushed by ThomSerg
June 6, 2024 15:11 2m 7s xcsp3_executable
xcsp3_executable
June 6, 2024 15:11 2m 7s
Fix Z3 solver args for opt Github Tests #1871: Commit 5dcd648 pushed by ThomSerg
June 6, 2024 14:26 2m 18s xcsp3_executable
xcsp3_executable
June 6, 2024 14:26 2m 18s
Log remaining solve time Github Tests #1870: Commit 7029957 pushed by ThomSerg
June 6, 2024 14:06 2m 6s xcsp3_executable
xcsp3_executable
June 6, 2024 14:06 2m 6s
fix subcircuit with variables. Add todo in globals Github Tests #1869: Commit e4feaf8 pushed by Wout4
June 6, 2024 14:01 2m 6s xcsp3_executable
xcsp3_executable
June 6, 2024 14:01 2m 6s
Merge remote-tracking branch 'origin/xcsp3_executable' into xcsp3_exe… Github Tests #1868: Commit a1da5c4 pushed by Wout4
June 6, 2024 13:06 2m 32s xcsp3_executable
xcsp3_executable
June 6, 2024 13:06 2m 32s
Merge branch 'xcsp3_executable' into exact_2.0.0 Github Tests #1867: Commit f7bdc68 pushed by ThomSerg
June 6, 2024 08:37 1m 54s exact_2.0.0
exact_2.0.0
June 6, 2024 08:37 1m 54s
Remove minizinc supported subsolver check Github Tests #1866: Commit dfbd92b pushed by ThomSerg
June 6, 2024 06:34 2m 2s xcsp3_executable
xcsp3_executable
June 6, 2024 06:34 2m 2s
No error on minizinc subsolver Github Tests #1865: Commit ceaa15d pushed by ThomSerg
June 6, 2024 06:29 1m 59s xcsp3_executable
xcsp3_executable
June 6, 2024 06:29 1m 59s
Improved calculation of remaining time to solve Github Tests #1864: Commit 64588d2 pushed by ThomSerg
June 5, 2024 17:09 1m 59s xcsp3_executable
xcsp3_executable
June 5, 2024 17:09 1m 59s
Increase time buffer Github Tests #1863: Commit 2e045c1 pushed by ThomSerg
June 5, 2024 16:58 2m 31s xcsp3_executable
xcsp3_executable
June 5, 2024 16:58 2m 31s
Add filter to pytest Github Tests #1862: Commit e1eaf35 pushed by ThomSerg
June 5, 2024 16:48 1m 54s xcsp3_executable
xcsp3_executable
June 5, 2024 16:48 1m 54s
Fix range for GCC Github Tests #1861: Commit ad35cfa pushed by ThomSerg
June 5, 2024 15:47 2m 11s xcsp3_executable
xcsp3_executable
June 5, 2024 15:47 2m 11s
Value bounds for Precedence Github Tests #1860: Commit 71e040c pushed by ThomSerg
June 5, 2024 13:52 2m 5s xcsp3_executable
xcsp3_executable
June 5, 2024 13:52 2m 5s
add multiplication to Exact Github Tests #1859: Commit a5c7d1f pushed by JoD
June 5, 2024 13:15 2m 4s exact_2.0.0
exact_2.0.0
June 5, 2024 13:15 2m 4s
Merge remote-tracking branch 'origin/master' into xcsp3_executable Github Tests #1858: Commit 9f53cf8 pushed by ThomSerg
June 5, 2024 11:43 2m 1s xcsp3_executable
xcsp3_executable
June 5, 2024 11:43 2m 1s
Add transformation time printing to minizinc Github Tests #1857: Commit e13311d pushed by ThomSerg
June 5, 2024 10:28 2m 1s xcsp3_executable
xcsp3_executable
June 5, 2024 10:28 2m 1s
new exact version, first implementation Github Tests #1856: Commit 96c0a7f pushed by JoD
June 5, 2024 08:47 1m 55s exact_2.0.0
exact_2.0.0
June 5, 2024 08:47 1m 55s
Close strings Github Tests #1855: Commit db1ca58 pushed by ThomSerg
June 5, 2024 07:36 2m 3s xcsp3_executable
xcsp3_executable
June 5, 2024 07:36 2m 3s
extra checks when arg is range Github Tests #1854: Commit ba6585f pushed by IgnaceBleukx
June 5, 2024 07:11 2m 6s xcsp3_executable
xcsp3_executable
June 5, 2024 07:11 2m 6s