Skip to content

Actions: ConSol-Lab/Pumpkin

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
600 workflow runs
600 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

fix: disjunctive_scheduling example had incorrect negation constraint CI #475: Pull request #114 synchronize by tiptenbrink
December 19, 2024 11:27 3m 26s tiptenbrink:disjunctive-example-fix
tiptenbrink:disjunctive-example-fix
December 19, 2024 11:27 3m 26s
fix: disjunctive_scheduling example had incorrect negation constraint CI #474: Pull request #114 synchronize by tiptenbrink
December 19, 2024 11:26 3m 26s tiptenbrink:disjunctive-example-fix
tiptenbrink:disjunctive-example-fix
December 19, 2024 11:26 3m 26s
fix: make pumpkin-py build without any additional installs (#113) CI #473: Commit e587458 pushed by maartenflippo
December 19, 2024 10:28 3m 24s develop
develop
December 19, 2024 10:28 3m 24s
fix: make pumpkin-py build without any additional installs CI #472: Pull request #113 synchronize by tiptenbrink
December 19, 2024 09:52 3m 47s tiptenbrink:main
tiptenbrink:main
December 19, 2024 09:52 3m 47s
fix: make pumpkin-py build without any additional installs CI #471: Pull request #113 synchronize by tiptenbrink
December 19, 2024 09:47 Action required tiptenbrink:main
tiptenbrink:main
December 19, 2024 09:47 Action required
fix: disjunctive_scheduling example had incorrect negation constraint CI #470: Pull request #114 synchronize by tiptenbrink
December 18, 2024 10:44 Action required tiptenbrink:disjunctive-example-fix
tiptenbrink:disjunctive-example-fix
December 18, 2024 10:44 Action required
fix: make pumpkin-py build without any additional installs CI #469: Pull request #113 synchronize by tiptenbrink
December 18, 2024 10:41 3m 15s tiptenbrink:main
tiptenbrink:main
December 18, 2024 10:41 3m 15s
fix: make pumpkin-py build without any additional installs CI #468: Pull request #113 synchronize by tiptenbrink
December 18, 2024 10:35 Action required tiptenbrink:main
tiptenbrink:main
December 18, 2024 10:35 Action required
fix: complete proof when adding clause results in unsat CI #467: Pull request #126 synchronize by maartenflippo
December 17, 2024 14:52 3m 20s fix/naming-of-predicate-literals
fix/naming-of-predicate-literals
December 17, 2024 14:52 3m 20s
fix: complete proof when adding clause results in unsat CI #466: Pull request #126 synchronize by maartenflippo
December 17, 2024 14:50 3m 20s fix/naming-of-predicate-literals
fix/naming-of-predicate-literals
December 17, 2024 14:50 3m 20s
fix: complete proof when adding clause results in unsat CI #465: Pull request #126 synchronize by maartenflippo
December 17, 2024 13:50 3m 35s fix/naming-of-predicate-literals
fix/naming-of-predicate-literals
December 17, 2024 13:50 3m 35s
fix: complete proof when adding clause results in unsat CI #464: Pull request #126 synchronize by maartenflippo
December 17, 2024 13:45 3m 41s fix/naming-of-predicate-literals
fix/naming-of-predicate-literals
December 17, 2024 13:45 3m 41s
fix: complete proof when adding clause results in unsat Dismiss old reviews when re-requested #78: Pull request #126 review_requested by maartenflippo
December 17, 2024 13:41 15s fix/naming-of-predicate-literals
fix/naming-of-predicate-literals
December 17, 2024 13:41 15s
fix: complete proof when adding clause results in unsat CI #463: Pull request #126 opened by maartenflippo
December 17, 2024 13:41 3m 25s fix/naming-of-predicate-literals
fix/naming-of-predicate-literals
December 17, 2024 13:41 3m 25s
fix: give reason to root-level propagation in nogood propagator (#124) CI #462: Commit d5df8f3 pushed by ImkoMarijnissen
December 17, 2024 12:33 3m 46s develop
develop
December 17, 2024 12:33 3m 46s
feat: stateful integer Dismiss old reviews when re-requested #77: Pull request #125 review_requested by ImkoMarijnissen
December 16, 2024 14:55 12s feat/backtrackable-int
feat/backtrackable-int
December 16, 2024 14:55 12s
feat: stateful integer CI #461: Pull request #125 opened by ImkoMarijnissen
December 16, 2024 14:55 3m 39s feat/backtrackable-int
feat/backtrackable-int
December 16, 2024 14:55 3m 39s
feat: stateful integer Dismiss old reviews when re-requested #76: Pull request #125 review_requested by ImkoMarijnissen
December 16, 2024 14:55 15s feat/backtrackable-int
feat/backtrackable-int
December 16, 2024 14:55 15s
feature: lazy explanation context (#123) CI #460: Commit 67c2241 pushed by maartenflippo
December 6, 2024 13:27 3m 31s develop
develop
December 6, 2024 13:27 3m 31s
feature: lazy explanation context Dismiss old reviews when re-requested #75: Pull request #123 review_requested by ImkoMarijnissen
December 6, 2024 13:26 13s feature/conflict-in-lazy-explanation-context
feature/conflict-in-lazy-explanation-context
December 6, 2024 13:26 13s
feature: lazy explanation context CI #459: Pull request #123 synchronize by maartenflippo
December 6, 2024 13:04 3m 33s feature/conflict-in-lazy-explanation-context
feature/conflict-in-lazy-explanation-context
December 6, 2024 13:04 3m 33s
feature: lazy explanation context CI #458: Pull request #123 synchronize by maartenflippo
December 5, 2024 15:21 3m 35s feature/conflict-in-lazy-explanation-context
feature/conflict-in-lazy-explanation-context
December 5, 2024 15:21 3m 35s
feature: lazy explanation context CI #457: Pull request #123 synchronize by maartenflippo
December 5, 2024 14:57 3m 39s feature/conflict-in-lazy-explanation-context
feature/conflict-in-lazy-explanation-context
December 5, 2024 14:57 3m 39s
chore: update pyo3 version (#122) CI #456: Commit 247fcd9 pushed by maartenflippo
December 5, 2024 13:32 3m 39s develop
develop
December 5, 2024 13:32 3m 39s
feature: lazy explanation context CI #455: Pull request #123 opened by maartenflippo
December 5, 2024 11:48 3m 41s feature/conflict-in-lazy-explanation-context
feature/conflict-in-lazy-explanation-context
December 5, 2024 11:48 3m 41s