Skip to content

Actions: CPMpy/cpmpy

Actions

Github Tests

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
python-test.yml
2,104 workflow runs
2,104 workflow runs

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
missing case for and in pumpkin Github Tests #4830: Commit f9b8a7e pushed by IgnaceBleukx
In progress fix_empty_sum_canonical
fix_empty_sum_canonical
In progress
fix edge case in canonical_comparison Github Tests #4829: Commit f0f5189 pushed by IgnaceBleukx
1m 49s fix_empty_sum_canonical
fix_empty_sum_canonical
1m 49s
undo stray valueerr Github Tests #4828: Commit 2dba7e0 pushed by IgnaceBleukx
In progress gurobi-improved-mus
gurobi-improved-mus
In progress
more doc updates Github Tests #4827: Commit 8d60598 pushed by IgnaceBleukx
1m 28s gurobi-improved-mus
gurobi-improved-mus
1m 28s
Regular linear positive & full decomposition (still some things to be… Github Tests #4826: Commit bd9827a pushed by WoutPiessens
19m 37s positive_globals
positive_globals
19m 37s
hotfix Github Tests #4825: Commit 271a886 pushed by OrestisLomis
25m 57s gurobi-improved-mus
gurobi-improved-mus
25m 57s
remove doc Github Tests #4824: Commit 312dcd5 pushed by OrestisLomis
36m 13s gurobi-improved-mus
gurobi-improved-mus
36m 13s
refactor Github Tests #4823: Commit 6400a9e pushed by OrestisLomis
34m 52s gurobi-improved-mus
gurobi-improved-mus
34m 52s
clarications Github Tests #4822: Commit cca9fbc pushed by OrestisLomis
34m 57s gurobi-improved-mus
gurobi-improved-mus
34m 57s
fix Github Tests #4821: Commit bd58240 pushed by OrestisLomis
35m 38s gurobi-improved-mus
gurobi-improved-mus
35m 38s
simplify Github Tests #4820: Commit a2f3d8a pushed by OrestisLomis
33m 27s gurobi-improved-mus
gurobi-improved-mus
33m 27s
Merge remote-tracking branch 'origin/master' into gurobi-improved-mus Github Tests #4819: Commit ddbb95d pushed by OrestisLomis
35m 59s gurobi-improved-mus
gurobi-improved-mus
35m 59s
release 0.10.1 Github Tests #4818: Commit 371ac3f pushed by ThomSerg
39m 1s v0.10.1
v0.10.1
39m 1s
Improved GCC decomposition (#1007) Github Tests #4817: Commit 0a06b96 pushed by ThomSerg
35m 44s v0.10.1
v0.10.1
35m 44s
release 0.10.1 Github Tests #4816: Commit 371ac3f pushed by ThomSerg
37m 45s 0.10.1
0.10.1
37m 45s
Improved GCC decomposition (#1007) Github Tests #4815: Commit 0a06b96 pushed by IgnaceBleukx
35m 12s master
master
35m 12s
move floatsum construction tests to test_expressions Github Tests #4814: Commit f6d6f70 pushed by IgnaceBleukx
36m 3s floatsum
floatsum
36m 3s
Bounds for pow and mod (#1012) Github Tests #4813: Commit 09492e0 pushed by ThomSerg
39m 23s 0.10.1
0.10.1
39m 23s
Merge remote-tracking branch 'origin/master' into stronger_gcc_decomp Github Tests #4812: Commit a4cfa60 pushed by IgnaceBleukx
37m 0s stronger_gcc_decomp
stronger_gcc_decomp
37m 0s
add comment and lint fix Github Tests #4811: Commit f10cb1c pushed by IgnaceBleukx
1m 40s stronger_gcc_decomp
stronger_gcc_decomp
1m 40s
Save lhs and rhs of reification to csemap (#1010) Github Tests #4810: Commit c7be1f9 pushed by tias
32m 55s master
master
32m 55s
Merge remote-tracking branch 'origin/master' into floatsum Github Tests #4809: Commit 2e92804 pushed by tias
35m 2s floatsum
floatsum
35m 2s
force choco <0.3.0, breaks current code (#1013) Github Tests #4808: Commit edef5d7 pushed by tias
36m 24s master
master
36m 24s
force choco <0.3.0, breaks current code Github Tests #4807: Commit 73434fa pushed by tias
35m 42s choco_no030
choco_no030
35m 42s
type minimize/maximize/objective/objective_value as int; document Flo… Github Tests #4806: Commit 63a0a9d pushed by tias
1m 36s floatsum
floatsum
1m 36s