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

translate int to bool for bool variables Github Tests #1284: Commit 98d29f4 pushed by Dimosts
September 21, 2023 15:09 3m 12s adding-choco
adding-choco
September 21, 2023 15:09 3m 12s
Merge branch 'canonical-and-reify-rewrite' into adding-choco Github Tests #1283: Commit 2911932 pushed by Dimosts
September 21, 2023 15:01 3m 39s adding-choco
adding-choco
September 21, 2023 15:01 3m 39s
handling True and False cases Github Tests #1282: Commit cffb964 pushed by Dimosts
September 21, 2023 15:01 3m 13s adding-choco
adding-choco
September 21, 2023 15:01 3m 13s
bring vars to left side in all cases Github Tests #1281: Commit a4b73fe pushed by Dimosts
September 21, 2023 14:58 4m 20s canonical-and-reify-rewrite
canonical-and-reify-rewrite
September 21, 2023 14:58 4m 20s
cleanup and add tests Github Tests #1280: Commit 5543d5f pushed by IgnaceBleukx
September 21, 2023 14:44 3m 12s hinting-2d
hinting-2d
September 21, 2023 14:44 3m 12s
give names to vars Github Tests #1279: Commit 4978322 pushed by Wout4
September 21, 2023 10:02 3m 7s normalisations_wv
normalisations_wv
September 21, 2023 10:02 3m 7s
missing continue Github Tests #1278: Commit f60bcd1 pushed by Wout4
September 21, 2023 09:46 3m 4s normalisations_wv
normalisations_wv
September 21, 2023 09:46 3m 4s
new testfile Github Tests #1277: Commit 0c02a88 pushed by Wout4
September 21, 2023 09:37 3m 30s normalisations_wv
normalisations_wv
September 21, 2023 09:37 3m 30s
import Github Tests #1276: Commit 064b202 pushed by Wout4
September 21, 2023 08:19 3m 28s normalisations_wv
normalisations_wv
September 21, 2023 08:19 3m 28s
add comparison normalisations Github Tests #1275: Commit 9b5172a pushed by Wout4
September 21, 2023 08:14 2m 17s normalisations_wv
normalisations_wv
September 21, 2023 08:14 2m 17s
implies tests Github Tests #1274: Commit ab967ac pushed by Wout4
September 21, 2023 08:07 3m 17s normalisations_wv
normalisations_wv
September 21, 2023 08:07 3m 17s
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
ProTip! You can narrow down the results and go further in time using created:<2023-09-19 or the other filters available.