Skip to content

Actions: ConSol-Lab/Pumpkin

Actions

CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci.yml
1,272 workflow runs
1,272 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
chore: Release packages CI #2023: Pull request #500 synchronize by github-actions Bot
Action required release/2026-07-15T06-57-39Z
release/2026-07-15T06-57-39Z
Action required
chore(deps): bump proc-macro2 from 1.0.106 to 1.0.107 (#507) CI #2022: Commit dd355cc pushed by maartenflippo
6m 50s main
main
6m 50s
chore(deps): bump actions/setup-python from 6 to 7 (#506) CI #2021: Commit 06d7e02 pushed by maartenflippo
6m 45s main
main
6m 45s
chore(deps): bump enumset from 1.1.13 to 1.1.14 CI #2020: Pull request #511 opened by dependabot Bot
6m 47s dependabot/cargo/enumset-1.1.14
dependabot/cargo/enumset-1.1.14
6m 47s
chore(deps): bump syn from 2.0.119 to 3.0.3 CI #2019: Pull request #510 opened by dependabot Bot
8m 14s dependabot/cargo/syn-3.0.3
dependabot/cargo/syn-3.0.3
8m 14s
chore(deps): bump thiserror from 2.0.18 to 2.0.19 CI #2018: Pull request #509 opened by dependabot Bot
6m 43s dependabot/cargo/thiserror-2.0.19
dependabot/cargo/thiserror-2.0.19
6m 43s
chore(deps): bump enum-map from 2.7.3 to 3.1.0 CI #2017: Pull request #508 opened by dependabot Bot
7m 22s dependabot/cargo/enum-map-3.1.0
dependabot/cargo/enum-map-3.1.0
7m 22s
chore(deps): bump proc-macro2 from 1.0.106 to 1.0.107 CI #2016: Pull request #507 opened by dependabot Bot
7m 5s dependabot/cargo/proc-macro2-1.0.107
dependabot/cargo/proc-macro2-1.0.107
7m 5s
chore(deps): bump actions/setup-python from 6 to 7 CI #2015: Pull request #506 opened by dependabot Bot
6m 42s dependabot/github_actions/actions/setup-python-7
dependabot/github_actions/actions/setup-python-7
6m 42s
refactor(pumpkin-solver): Force checkers to be registered in propagator constructor CI #2014: Pull request #457 synchronize by maartenflippo
6m 59s refactor/inference-checker-registration
refactor/inference-checker-registration
6m 59s
refactor(pumpkin-solver): Force checkers to be registered in propagator constructor CI #2013: Pull request #457 synchronize by maartenflippo
6m 52s refactor/inference-checker-registration
refactor/inference-checker-registration
6m 52s
refactor(pumpkin-solver): Force checkers to be registered in propagator constructor CI #2012: Pull request #457 synchronize by maartenflippo
6m 44s refactor/inference-checker-registration
refactor/inference-checker-registration
6m 44s
refactor(pumpkin-solver): Force checkers to be registered in propagator constructor CI #2011: Pull request #457 synchronize by maartenflippo
6m 58s refactor/inference-checker-registration
refactor/inference-checker-registration
6m 58s
chore: Release packages CI #2010: Pull request #500 synchronize by github-actions Bot
Action required release/2026-07-15T06-57-39Z
release/2026-07-15T06-57-39Z
Action required
refactor(pumpkin-solver): PropagatorConstructor::create now returns… CI #2009: Commit d8fa0af pushed by maartenflippo
6m 53s main
main
6m 53s
refactor(pumpkin-solver): PropagatorConstructor::create now returns event registrations CI #2008: Pull request #456 synchronize by maartenflippo
6m 47s refactor/variable-registration
refactor/variable-registration
6m 47s
refactor(pumpkin-solver): PropagatorConstructor::create now returns event registrations CI #2007: Pull request #456 synchronize by maartenflippo
6m 52s refactor/variable-registration
refactor/variable-registration
6m 52s
chore: Release packages CI #2006: Pull request #500 synchronize by github-actions Bot
Action required release/2026-07-15T06-57-39Z
release/2026-07-15T06-57-39Z
Action required
feat(pumpkin-solver,pumpkin-core): Implement extended nogood propagat… CI #2005: Commit 285ac94 pushed by ImkoMarijnissen
7m 13s main
main
7m 13s
feat: Semantic Minimisation during Conflict Analysis CI #2004: Pull request #406 synchronize by ImkoMarijnissen
5m 14s feat/minimisation-during-ca
feat/minimisation-during-ca
5m 14s
chore: Release packages CI #2003: Pull request #500 synchronize by github-actions Bot
Action required release/2026-07-15T06-57-39Z
release/2026-07-15T06-57-39Z
Action required
chore: Release packages CI #2002: Pull request #500 synchronize by github-actions Bot
Action required release/2026-07-15T06-57-39Z
release/2026-07-15T06-57-39Z
Action required
chore(deps): bump clap from 4.6.1 to 4.6.2 (#505) CI #2001: Commit 216c1ec pushed by ImkoMarijnissen
7m 2s main
main
7m 2s
chore(deps): bump cc from 1.2.66 to 1.2.67 (#504) CI #2000: Commit 97e670c pushed by ImkoMarijnissen
6m 42s main
main
6m 42s
chore(deps): bump regex from 1.12.4 to 1.13.1 (#503) CI #1999: Commit c0246ce pushed by ImkoMarijnissen
6m 44s main
main
6m 44s