Skip to content

Actions: ConSol-Lab/Pumpkin

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
1,660 workflow runs
1,660 workflow runs

Filter by Workflow

⌥ + click/return to exclude

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(deps): bump chumsky from 0.12.0 to 0.13.0 CI #1813: Pull request #442 opened by dependabot Bot
7m 27s dependabot/cargo/chumsky-0.13.0
dependabot/cargo/chumsky-0.13.0
7m 27s
chore(deps): bump enumset from 1.1.10 to 1.1.11 CI #1812: Pull request #441 opened by dependabot Bot
7m 27s dependabot/cargo/enumset-1.1.11
dependabot/cargo/enumset-1.1.11
7m 27s
chore(deps): bump wasm-bindgen-test from 0.3.70 to 0.3.71 CI #1811: Pull request #440 opened by dependabot Bot
7m 25s dependabot/cargo/wasm-bindgen-test-0.3.71
dependabot/cargo/wasm-bindgen-test-0.3.71
7m 25s
uv in /pumpkin-solver-py - Update #1352440450 Dependabot Updates #21: by dependabot Bot
1m 28s main
main
1m 28s
github_actions in /. - Update #1352440444 Dependabot Updates #20: by dependabot Bot
44s main
main
44s
cargo in /. - Update #1352440421 Dependabot Updates #19: by dependabot Bot
1m 35s main
main
1m 35s
refactor(pumpkin-solver): Remove vergen as a dependency CI #1810: Pull request #438 synchronize by maartenflippo
6m 52s refactor/git-commit-hash
refactor/git-commit-hash
6m 52s
refactor(pumpkin-solver): Remove vergen as a dependency CI #1809: Pull request #438 synchronize by maartenflippo
6m 48s refactor/git-commit-hash
refactor/git-commit-hash
6m 48s
refactor(pumpkin-solver): Remove vergen as a dependency CI #1808: Pull request #438 synchronize by maartenflippo
6m 46s refactor/git-commit-hash
refactor/git-commit-hash
6m 46s
chore: Do not collect unnecessarily into solution in Solver (#439) CI #1807: Commit 094a09c pushed by maartenflippo
6m 55s main
main
6m 55s
feat: Make Literal wrapper of Predicate CI #1806: Pull request #398 synchronize by ImkoMarijnissen
7m 11s feat/literal-atomic
feat/literal-atomic
7m 11s
feat: Make Literal wrapper of Predicate CI #1805: Pull request #398 synchronize by ImkoMarijnissen
7m 22s feat/literal-atomic
feat/literal-atomic
7m 22s
chore: Do not collect unnecessarily into solution in Solver CI #1804: Pull request #439 opened by ImkoMarijnissen
7m 7s chore/unnecessary-solution-cloning
chore/unnecessary-solution-cloning
7m 7s
chore: Do not collect unnecessarily into solution in Solver Dismiss old reviews when re-requested #384: Pull request #439 review_requested by ImkoMarijnissen
13s chore/unnecessary-solution-cloning
chore/unnecessary-solution-cloning
13s
feat: Semantic Minimisation during Conflict Analysis CI #1803: Pull request #406 synchronize by ImkoMarijnissen
6m 9s feat/minimisation-during-ca
feat/minimisation-during-ca
6m 9s
refactor(pumpkin-solver): Remove vergen as a dependency CI #1802: Pull request #438 opened by maartenflippo
6m 52s refactor/git-commit-hash
refactor/git-commit-hash
6m 52s
refactor(pumpkin-solver): Remove vergen as a dependency Dismiss old reviews when re-requested #383: Pull request #438 review_requested by maartenflippo
7s refactor/git-commit-hash
refactor/git-commit-hash
7s
feat: Make Literal wrapper of Predicate Dismiss old reviews when re-requested #382: Pull request #398 review_requested by ImkoMarijnissen
8s feat/literal-atomic
feat/literal-atomic
8s
feat: Make Literal wrapper of Predicate CI #1801: Pull request #398 synchronize by ImkoMarijnissen
7m 13s feat/literal-atomic
feat/literal-atomic
7m 13s
feat: Make Literal wrapper of Predicate CI #1800: Pull request #398 synchronize by ImkoMarijnissen
7m 14s feat/literal-atomic
feat/literal-atomic
7m 14s
chore(deps): bump pyo3 from 0.25.1 to 0.28.3 (#436) CI #1799: Commit 6a1615b pushed by maartenflippo
6m 59s main
main
6m 59s
chore(deps): bump pyo3 from 0.25.1 to 0.28.3 CI #1798: Pull request #436 synchronize by maartenflippo
7m 7s dependabot/cargo/pyo3-0.28.3
dependabot/cargo/pyo3-0.28.3
7m 7s
chore(deps): bump wasm-bindgen-test from 0.3.68 to 0.3.70 (#435) CI #1797: Commit 646c2f2 pushed by maartenflippo
7m 4s main
main
7m 4s
chore(deps): bump cc from 1.2.60 to 1.2.61 (#437) CI #1796: Commit 5b887a4 pushed by maartenflippo
7m 6s main
main
7m 6s
chore(deps): bump cc from 1.2.60 to 1.2.61 CI #1795: Pull request #437 opened by dependabot Bot
7m 9s dependabot/cargo/cc-1.2.61
dependabot/cargo/cc-1.2.61
7m 9s