Skip to content

Actions: CPMpy/cpmpy

Actions

Github Tests

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
python-test.yml
2,113 workflow runs
2,113 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
test expr update Github Tests #4847: Commit 29c0770 pushed by tias
34m 54s floatsum
floatsum
34m 54s
Change positive custom decomposition workflow Github Tests #4846: Commit 8e7cb18 pushed by WoutPiessens
36m 9s positive_globals
positive_globals
36m 9s
Temporarily remove code to test failing tests in CI Github Tests #4845: Commit 0c7db4c pushed by WoutPiessens
1m 42s positive_globals
positive_globals
1m 42s
Temporary fix Github Tests #4844: Commit 967ea3a pushed by WoutPiessens
46s positive_globals
positive_globals
46s
typo (#1016) Github Tests #4843: Commit 2d18950 pushed by OrestisLomis
38m 13s master
master
38m 13s
Regular decomposition: all 4 cases addressed (linear yes/no & positiv… Github Tests #4842: Commit 8d8271d pushed by WoutPiessens
2m 10s positive_globals
positive_globals
2m 10s
fix typo Github Tests #4841: Commit 995ed95 pushed by OrestisLomis
38m 40s gurobi-improved-mus
gurobi-improved-mus
38m 40s
Merge remote-tracking branch 'origin/master' into gurobi-improved-mus Github Tests #4840: Commit 4cb2e9c pushed by OrestisLomis
35m 51s gurobi-improved-mus
gurobi-improved-mus
35m 51s
fix typo Github Tests #4839: Commit c99ede1 pushed by OrestisLomis
28m 4s gurobi-improved-mus
gurobi-improved-mus
28m 4s
Add frozendict to docs dependencies Github Tests #4838: Commit 95e9ad6 pushed by ThomSerg
1m 35s benchmark_datasets
benchmark_datasets
1m 35s
Merge branch 'pb26' into benchmark_datasets Github Tests #4837: Commit 2b7091e pushed by ThomSerg
1m 33s benchmark_datasets
benchmark_datasets
1m 33s
Intermediate cli option Github Tests #4836: Commit 9ed2cbd pushed by ThomSerg
1m 36s xcsp3_26
xcsp3_26
1m 36s
add CSPLib problem+model examples from DCP-Bench-Open Github Tests #4835: Commit bc0ba34 pushed by kostis-init
36m 45s add-missing-csplib-examples
add-missing-csplib-examples
36m 45s
Merge branch 'master' into dataset_core Github Tests #4834: Commit f1c71e7 pushed by ThomSerg
35m 32s dataset_core
dataset_core
35m 32s
gurobi improved MUS (#993) Github Tests #4833: Commit d830bfe pushed by IgnaceBleukx
35m 41s master
master
35m 41s
reviewer comments Github Tests #4832: Commit 36feaf5 pushed by IgnaceBleukx
33m 24s negation_before_decompose
negation_before_decompose
33m 24s
Fix edge case in canonical_comparison (#1014) Github Tests #4831: Commit 9b4d1dd pushed by IgnaceBleukx
35m 49s master
master
35m 49s
missing case for and in pumpkin Github Tests #4830: Commit f9b8a7e pushed by IgnaceBleukx
36m 9s fix_empty_sum_canonical
fix_empty_sum_canonical
36m 9s
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
36m 22s gurobi-improved-mus
gurobi-improved-mus
36m 22s
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