Skip to content

Actions: Gecode/gecode

Actions

CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
build.yml
158 workflow runs
158 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
Reduce regular layered graph construction memory CI #212: Pull request #234 synchronize by zayenz
26m 15s feature/improved-regular-construction
feature/improved-regular-construction
26m 15s
Allow external adjustment of parallel search workers CI #211: Pull request #233 synchronize by zayenz
25m 47s feature/par-search-worker-adjustments
feature/par-search-worker-adjustments
25m 47s
Allow external adjustment of parallel search workers CI #210: Pull request #233 synchronize by zayenz
27m 27s feature/par-search-worker-adjustments
feature/par-search-worker-adjustments
27m 27s
Reduce regular layered graph construction memory CI #209: Pull request #234 synchronize by zayenz
26m 20s feature/improved-regular-construction
feature/improved-regular-construction
26m 20s
Allow external adjustment of parallel search workers CI #208: Pull request #233 synchronize by zayenz
36m 13s feature/par-search-worker-adjustments
feature/par-search-worker-adjustments
36m 13s
Reduce regular layered graph construction memory CI #207: Pull request #234 opened by zayenz
54m 31s feature/improved-regular-construction
feature/improved-regular-construction
54m 31s
Force light theme for generated documentation CI #206: Commit e1ec3da pushed by zayenz
41m 21s main
main
41m 21s
Reduce regular layered graph allocation CI #205: Commit 98bd939 pushed by zayenz
33m 40s main
main
33m 40s
Allow external adjustment of parallel search workers CI #204: Pull request #233 opened by zayenz
41m 42s feature/par-search-worker-adjustments
feature/par-search-worker-adjustments
41m 42s
Force light theme for generated documentation CI #203: Commit e1ec3da pushed by zayenz
26m 8s main
main
26m 8s
Classify FlatZinc blackbox documentation statistics CI #202: Commit 3e0e8ee pushed by zayenz
25m 51s main
main
25m 51s
Release Gecode 6.4.0 on 2026-07-15 CI #201: Commit 923f441 pushed by zayenz
25m 30s main
main
25m 30s
Reject unavailable FlatZinc Gist mode CI #200: Commit 73422e6 pushed by zayenz
26m 23s main
main
26m 23s
Preserve Gist mode with statistics CI #199: Pull request #232 synchronize by zayenz
24m 3s feature/preserve-gist-mode
feature/preserve-gist-mode
24m 3s
Preserve float median semantics safely CI #198: Commit a8fb115 pushed by zayenz
25m 0s main
main
25m 0s
Avoid overflow in float interval medians CI #197: Pull request #231 synchronize by zayenz
25m 47s feature/safe-float-median
feature/safe-float-median
25m 47s
Adjust issue 83 changelog credit CI #196: Commit fcc0645 pushed by zayenz
23m 23s main
main
23m 23s
Respect features when building CMake examples CI #195: Pull request #230 synchronize by zayenz
31m 5s feature/feature-aware-cmake-examples
feature/feature-aware-cmake-examples
31m 5s
Fix zero-cost edges in TSP example CI #194: Commit cc4c6d1 pushed by zayenz
24m 53s main
main
24m 53s
Fix zero-cost edges in the TSP example CI #193: Pull request #229 synchronize by zayenz
27m 22s feature/fix-tsp-zero-cost-edges
feature/fix-tsp-zero-cost-edges
27m 22s
Fix zero-cost edges in the TSP example CI #192: Pull request #229 synchronize by zayenz
2m 19s feature/fix-tsp-zero-cost-edges
feature/fix-tsp-zero-cost-edges
2m 19s
Avoid expanding install CI CI #191: Commit 51d3b54 pushed by zayenz
27m 38s main
main
27m 38s
Respect disabled components during install CI #190: Pull request #228 synchronize by zayenz
26m 36s feature/clean-disabled-install
feature/clean-disabled-install
26m 36s
Fix non-terminating sorted propagation CI #189: Commit c0f1a8f pushed by zayenz
27m 53s main
main
27m 53s
Fix non-terminating sorted propagation CI #188: Pull request #227 synchronize by zayenz
25m 13s feature/sort-element-propagation
feature/sort-element-propagation
25m 13s