Workflow runs · Gecode/gecode · GitHub

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows

5 workflow runs

5 workflow runs

Add support for fzn_regular_set to FlatZinc interpreter CI #55: Commit 4f9603d pushed by guidotack

12m 25s release/6.3.0

release/6.3.0

12m 25s

Fix GCD calculation for Boolean reified linear constraints. CI #54: Commit 998aada pushed by guidotack

13m 19s release/6.3.0

release/6.3.0

13m 19s

With DispersionInstance and heuristic pruner CI #50: Commit 4843589 pushed by zayenz

11m 24s cmake-test-suite

cmake-test-suite

11m 24s

win32: Use _WIN32 and not WIN32 for preprocessor CI #49: Pull request #204 opened by waywardmonkeys

11m 36s waywardmonkeys:improve-win32-build

waywardmonkeys:improve-win32-build

11m 36s

cmake: Only write config.hpp when changed CI #48: Pull request #203 opened by waywardmonkeys

12m 7s waywardmonkeys:cmake-rewrite-config-less

waywardmonkeys:cmake-rewrite-config-less

12m 7s