Skip to content

Actions: ConSol-Lab/Pumpkin

Actions

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

fix: Off-by-one error in is_true of VariableState CI #1647: Pull request #389 opened by ImkoMarijnissen
6m 52s fix/off-by-one-is-true
fix/off-by-one-is-true
6m 52s
fix: Off-by-one error in is_true of VariableState Dismiss old reviews when re-requested #353: Pull request #389 review_requested by ImkoMarijnissen
7s fix/off-by-one-is-true
fix/off-by-one-is-true
7s
feat: Adding IntegerVariable for i32 CI #1646: Pull request #388 opened by ImkoMarijnissen
6m 43s feat/i32-as-var
feat/i32-as-var
6m 43s
feat: Adding IntegerVariable for i32 Dismiss old reviews when re-requested #352: Pull request #388 review_requested by ImkoMarijnissen
9s feat/i32-as-var
feat/i32-as-var
9s
Improvements to using the proof processor Dismiss old reviews when re-requested #351: Pull request #385 review_requested by ImkoMarijnissen
8s feat/improved-processor-logging
feat/improved-processor-logging
8s
refactor(pumpkin-propagators): Move away from TestSolver in propagator tests CI #1645: Pull request #387 opened by maartenflippo
6m 36s refactor/remove-test-solver
refactor/remove-test-solver
6m 36s
refactor(pumpkin-propagators): Move away from TestSolver in propagator tests Dismiss old reviews when re-requested #350: Pull request #387 review_requested by maartenflippo
5s refactor/remove-test-solver
refactor/remove-test-solver
5s
refactor(pumpkin-propagators): Move away from TestSolver in propagator tests Dismiss old reviews when re-requested #349: Pull request #387 review_requested by maartenflippo
7s refactor/remove-test-solver
refactor/remove-test-solver
7s
Improvements to using the proof processor CI #1644: Pull request #385 synchronize by maartenflippo
6m 42s feat/improved-processor-logging
feat/improved-processor-logging
6m 42s
Improvements to using the proof processor CI #1643: Pull request #385 synchronize by maartenflippo
6m 30s feat/improved-processor-logging
feat/improved-processor-logging
6m 30s
Improvements to using the proof processor CI #1642: Pull request #385 opened by maartenflippo
6m 41s feat/improved-processor-logging
feat/improved-processor-logging
6m 41s
Improvements to using the proof processor Dismiss old reviews when re-requested #348: Pull request #385 review_requested by maartenflippo
9s feat/improved-processor-logging
feat/improved-processor-logging
9s
feat(pumpkin-core): Introduce runtime consistency verification of propagators CI #1641: Pull request #374 synchronize by maartenflippo
3m 25s feat/propagation-checkers
feat/propagation-checkers
3m 25s
chore: clippy warning (#376) CI #1640: Commit 37d28b3 pushed by maartenflippo
6m 47s main
main
6m 47s
feat(pumpkin-core): Introduce runtime consistency verification of propagators CI #1639: Pull request #374 synchronize by maartenflippo
2m 32s feat/propagation-checkers
feat/propagation-checkers
2m 32s
chore: clippy warning CI #1638: Pull request #376 opened by ImkoMarijnissen
6m 51s chore/clippy
chore/clippy
6m 51s
chore: clippy warning Dismiss old reviews when re-requested #347: Pull request #376 review_requested by ImkoMarijnissen
9s chore/clippy
chore/clippy
9s
feat(pumpkin-core): Introduce runtime consistency verification of propagators CI #1637: Pull request #374 synchronize by maartenflippo
3m 58s feat/propagation-checkers
feat/propagation-checkers
3m 58s
feat(pumpkin-core): Introduce runtime consistency verification of propagators CI #1636: Pull request #374 synchronize by maartenflippo
3m 13s feat/propagation-checkers
feat/propagation-checkers
3m 13s
feat(pumpkin-core): Introduce runtime consistency verification of propagators CI #1635: Pull request #374 synchronize by maartenflippo
3m 19s feat/propagation-checkers
feat/propagation-checkers
3m 19s
feat(pumpkin-core): Introduce runtime consistency verification of propagators CI #1634: Pull request #374 synchronize by maartenflippo
3m 36s feat/propagation-checkers
feat/propagation-checkers
3m 36s
feat(pumpkin-core): Introduce runtime consistency verification of propagators CI #1633: Pull request #374 synchronize by maartenflippo
6m 51s feat/propagation-checkers
feat/propagation-checkers
6m 51s
feat(pumpkin-core): Introduce runtime consistency verification of propagators CI #1632: Pull request #374 synchronize by maartenflippo
6m 57s feat/propagation-checkers
feat/propagation-checkers
6m 57s
feat(pumpkin-core): Introduce runtime consistency verification of propagators CI #1631: Pull request #374 synchronize by maartenflippo
1m 2s feat/propagation-checkers
feat/propagation-checkers
1m 2s
feat(pumpkin-core): Introduce runtime consistency verification of propagators CI #1630: Pull request #374 synchronize by maartenflippo
6m 44s feat/propagation-checkers
feat/propagation-checkers
6m 44s