Skip to content

Actions: ConSol-Lab/Pumpkin

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
1,647 workflow runs
1,647 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
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
chore(deps): bump pyo3 from 0.25.1 to 0.28.3 CI #1794: Pull request #436 opened by dependabot Bot
1m 59s dependabot/cargo/pyo3-0.28.3
dependabot/cargo/pyo3-0.28.3
1m 59s
chore(deps): bump wasm-bindgen-test from 0.3.68 to 0.3.70 CI #1793: Pull request #435 opened by dependabot Bot
7m 45s dependabot/cargo/wasm-bindgen-test-0.3.70
dependabot/cargo/wasm-bindgen-test-0.3.70
7m 45s
github_actions in /. - Update #1342435599 Dependabot Updates #18: by dependabot Bot
40s main
main
40s
cargo in /. - Update #1342435600 Dependabot Updates #17: by dependabot Bot
1m 34s main
main
1m 34s
uv in /pumpkin-solver-py - Update #1342435601 Dependabot Updates #16: by dependabot Bot
1m 27s main
main
1m 27s
feat(pumpkin-core): Define predicate order and add Predicate::implies… CI #1792: Commit 7efb72a pushed by maartenflippo
7m 13s main
main
7m 13s
feat(pumpkin-core): Brancher implements Debug (#409) CI #1791: Commit 70503a5 pushed by maartenflippo
7m 21s main
main
7m 21s
refactor(pumpkin-core): Attach InferenceCode instead of Predicate… CI #1790: Commit c82db0a pushed by maartenflippo
7m 3s main
main
7m 3s
feat(pumpkin-core): Define predicate order and add Predicate::implies CI #1789: Pull request #426 synchronize by maartenflippo
7m 2s feat/predicate-order
feat/predicate-order
7m 2s
feat: Make Literal wrapper of Predicate Dismiss old reviews when re-requested #381: Pull request #398 review_requested by ImkoMarijnissen
11s feat/literal-atomic
feat/literal-atomic
11s
feat: Make Literal wrapper of Predicate CI #1788: Pull request #398 synchronize by ImkoMarijnissen
7m 12s feat/literal-atomic
feat/literal-atomic
7m 12s
feat: Make Literal wrapper of Predicate CI #1787: Pull request #398 synchronize by ImkoMarijnissen
2m 8s feat/literal-atomic
feat/literal-atomic
2m 8s
feat: Make Literal wrapper of Predicate CI #1786: Pull request #398 synchronize by ImkoMarijnissen
7m 29s feat/literal-atomic
feat/literal-atomic
7m 29s
feat(pumpkin-core): Define predicate order and add Predicate::implies CI #1785: Pull request #426 synchronize by maartenflippo
7m 3s feat/predicate-order
feat/predicate-order
7m 3s
feat(pumpkin-core): Brancher implements Debug CI #1784: Pull request #409 synchronize by maartenflippo
7m 35s feat/brancher-impl-debug
feat/brancher-impl-debug
7m 35s
feat(pumpkin-core): Define predicate order and add Predicate::implies CI #1783: Pull request #426 synchronize by maartenflippo
7m 4s feat/predicate-order
feat/predicate-order
7m 4s
feat(pumpkin-core): Define predicate order and add Predicate::implies Dismiss old reviews when re-requested #380: Pull request #426 review_requested by maartenflippo
8s feat/predicate-order
feat/predicate-order
8s