Skip to content

Actions: CPMpy/cpmpy

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
164 workflow run results
164 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

use new transformation in flatten Github Tests #1273: Commit f39dde4 pushed by Wout4
September 20, 2023 15:29 3m 41s normalisations_wv
normalisations_wv
September 20, 2023 15:29 3m 41s
change order of transformations Github Tests #1272: Commit 88d782f pushed by Dimosts
September 19, 2023 18:03 3m 6s adding-choco
adding-choco
September 19, 2023 18:03 3m 6s
commit Github Tests #1271: Commit 05d02e6 pushed by ElFosco
September 19, 2023 16:25 1m 56s removing-constraints
removing-constraints
September 19, 2023 16:25 1m 56s
test_only_implies Github Tests #1270: Commit 6d54a1e pushed by Dimosts
September 19, 2023 16:19 3m 8s canonical-and-reify-rewrite
canonical-and-reify-rewrite
September 19, 2023 16:19 3m 8s
style Github Tests #1269: Commit 7c06bf0 pushed by Dimosts
September 19, 2023 15:54 4m 5s adding-choco
adding-choco
September 19, 2023 15:54 4m 5s
choco docs Github Tests #1268: Commit 7e71f0e pushed by Dimosts
September 19, 2023 15:40 3m 19s adding-choco
adding-choco
September 19, 2023 15:40 3m 19s
minor Github Tests #1267: Commit 6d09cde pushed by Dimosts
September 19, 2023 15:27 3m 6s canonical-and-reify-rewrite
canonical-and-reify-rewrite
September 19, 2023 15:27 3m 6s
minor Github Tests #1266: Commit fa33b57 pushed by Dimosts
September 19, 2023 15:26 3m 8s adding-choco
adding-choco
September 19, 2023 15:26 3m 8s
minor Github Tests #1265: Commit 3ef220d pushed by Dimosts
September 19, 2023 15:25 3m 23s adding-choco
adding-choco
September 19, 2023 15:25 3m 23s
Merge branch 'canonical-and-reify-rewrite' into adding-choco Github Tests #1264: Commit ef92cbf pushed by Dimosts
September 19, 2023 15:23 1m 56s adding-choco
adding-choco
September 19, 2023 15:23 1m 56s
only_implies Github Tests #1263: Commit 83a3971 pushed by Dimosts
September 19, 2023 15:23 3m 11s canonical-and-reify-rewrite
canonical-and-reify-rewrite
September 19, 2023 15:23 3m 11s
update init Github Tests #1262: Commit 6dedf8f pushed by Wout4
September 19, 2023 14:45 3m 3s scip2
scip2
September 19, 2023 14:45 3m 3s
choco 1 0 instead of True False Github Tests #1261: Commit 24318fd pushed by Dimosts
September 19, 2023 12:34 3m 14s adding-choco
adding-choco
September 19, 2023 12:34 3m 14s
Merge branch 'canonical-and-reify-rewrite' into adding-choco Github Tests #1260: Commit 4c88925 pushed by Dimosts
September 19, 2023 12:17 3m 33s adding-choco
adding-choco
September 19, 2023 12:17 3m 33s
canonical comparison transformation Github Tests #1259: Commit dee6f24 pushed by Dimosts
September 19, 2023 12:14 3m 42s canonical-and-reify-rewrite
canonical-and-reify-rewrite
September 19, 2023 12:14 3m 42s
only_bv_reifies Github Tests #1258: Commit 278c001 pushed by Dimosts
September 19, 2023 12:09 3m 22s canonical-and-reify-rewrite
canonical-and-reify-rewrite
September 19, 2023 12:09 3m 22s
correct solveAll count Github Tests #1257: Commit 63f2b23 pushed by Dimosts
September 19, 2023 12:06 3m 7s canonical-and-reify-rewrite
canonical-and-reify-rewrite
September 19, 2023 12:06 3m 7s
False not removed by linearize Github Tests #1256: Commit 501a9f8 pushed by Dimosts
September 19, 2023 12:03 4m 0s canonical-and-reify-rewrite
canonical-and-reify-rewrite
September 19, 2023 12:03 4m 0s
remove typo Github Tests #1255: Commit 8a8e387 pushed by Wout4
September 19, 2023 11:12 3m 37s UUID
UUID
September 19, 2023 11:12 3m 37s
use of flatlist Github Tests #1254: Commit 1c5ef0e pushed by Dimosts
September 19, 2023 11:11 3m 3s hinting-2d
hinting-2d
September 19, 2023 11:11 3m 3s
remove style changes Github Tests #1253: Commit 52cd76d pushed by Wout4
September 19, 2023 10:17 1m 58s UUID
UUID
September 19, 2023 10:17 1m 58s
don't use string representation, merge linearize.py Github Tests #1252: Commit 775e7fb pushed by Wout4
September 19, 2023 09:51 3m 12s CSE_wv
CSE_wv
September 19, 2023 09:51 3m 12s
correct solveAll count Github Tests #1251: Commit 63f2b23 pushed by Dimosts
September 18, 2023 19:41 4m 2s adding-choco
adding-choco
September 18, 2023 19:41 4m 2s
choco wants int and not np.int64 Github Tests #1250: Commit 0bb056c pushed by Dimosts
September 18, 2023 17:36 3m 13s adding-choco
adding-choco
September 18, 2023 17:36 3m 13s
Merge branch 'adding-choco' into removing-constraints Github Tests #1249: Commit 3dd4574 pushed by ElFosco
September 18, 2023 16:12 3m 13s removing-constraints
removing-constraints
September 18, 2023 16:12 3m 13s