Skip to content

Actions: ConSol-Lab/Pumpkin

Actions

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

feat(pumpkin-core): Introduce runtime consistency verification of propagators CI #1617: Pull request #374 synchronize by maartenflippo
5m 32s feat/propagation-checkers
feat/propagation-checkers
5m 32s
feat(pumpkin-core): Introduce runtime consistency verification of propagators CI #1616: Pull request #374 synchronize by maartenflippo
4m 43s feat/propagation-checkers
feat/propagation-checkers
4m 43s
feat(pumpkin-core): Introduce runtime consistency verification of propagators Dismiss old reviews when re-requested #346: Pull request #374 review_requested by maartenflippo
9s feat/propagation-checkers
feat/propagation-checkers
9s
feat(pumpkin-core): Introduce runtime consistency verification of propagators Dismiss old reviews when re-requested #345: Pull request #374 review_requested by maartenflippo
7s feat/propagation-checkers
feat/propagation-checkers
7s
feat(pumpkin-core): Introduce runtime consistency verification of propagators CI #1615: Pull request #374 opened by maartenflippo
4m 38s feat/propagation-checkers
feat/propagation-checkers
4m 38s
feat(pumpkin-proof-processor): Introduce the proof processor in the main branch CI #1614: Pull request #371 synchronize by maartenflippo
6m 49s feat/proof-processor
feat/proof-processor
6m 49s
feat(pumpkin-solver): Support checking of derived nogoods during search Dismiss old reviews when re-requested #344: Pull request #373 review_requested by maartenflippo
9s feat/deduction-checking-during-propagation
feat/deduction-checking-during-propagation
9s
feat(pumpkin-solver): Support checking of derived nogoods during search CI #1613: Pull request #373 opened by maartenflippo
5m 17s feat/deduction-checking-during-propagation
feat/deduction-checking-during-propagation
5m 17s
feat(pumpkin-proof-processor): Introduce the proof processor in the main branch Dismiss old reviews when re-requested #343: Pull request #371 review_requested by maartenflippo
9s feat/proof-processor
feat/proof-processor
9s
feat(pumpkin-proof-processor): Introduce the proof processor in the main branch CI #1612: Pull request #371 synchronize by maartenflippo
6m 44s feat/proof-processor
feat/proof-processor
6m 44s
feat(pumpkin-proof-processor): Introduce the proof processor in the main branch CI #1611: Pull request #371 synchronize by maartenflippo
6m 52s feat/proof-processor
feat/proof-processor
6m 52s
feat(pumpkin-proof-processor): Introduce the proof processor in the main branch Dismiss old reviews when re-requested #342: Pull request #371 review_requested by maartenflippo
11s feat/proof-processor
feat/proof-processor
11s
feat(pumpkin-proof-processor): Introduce the proof processor in the main branch CI #1610: Pull request #371 synchronize by maartenflippo
6m 49s feat/proof-processor
feat/proof-processor
6m 49s
feat(pumpkin-proof-processor): Introduce the proof processor in the main branch CI #1609: Pull request #371 synchronize by maartenflippo
6m 53s feat/proof-processor
feat/proof-processor
6m 53s
fix(pumpkin-solver): Correctly detect when to write zipped proofs (#372) CI #1608: Commit f00e5ed pushed by maartenflippo
4m 44s main
main
4m 44s
fix(pumpkin-solver): Correctly detect when to write zipped proofs CI #1607: Pull request #372 opened by maartenflippo
5m 15s fix/gzipped-proofs-in-solver
fix/gzipped-proofs-in-solver
5m 15s
fix(pumpkin-solver): Correctly detect when to write zipped proofs Dismiss old reviews when re-requested #341: Pull request #372 review_requested by maartenflippo
8s fix/gzipped-proofs-in-solver
fix/gzipped-proofs-in-solver
8s
feat(pumpkin-proof-processor): Introduce the proof processor in the main branch CI #1606: Pull request #371 synchronize by maartenflippo
7m 4s feat/proof-processor
feat/proof-processor
7m 4s
feat(pumpkin-proof-processor): Introduce the proof processor in the main branch Dismiss old reviews when re-requested #340: Pull request #371 review_requested by maartenflippo
6s feat/proof-processor
feat/proof-processor
6s
feat(pumpkin-proof-processor): Introduce the proof processor in the main branch CI #1605: Pull request #371 synchronize by maartenflippo
4m 55s feat/proof-processor
feat/proof-processor
4m 55s
feat(pumpkin-proof-processor): Introduce the proof processor in the main branch CI #1604: Pull request #371 synchronize by maartenflippo
5m 1s feat/proof-processor
feat/proof-processor
5m 1s
feat(pumpkin-proof-processor): Introduce the proof processor in the main branch CI #1603: Pull request #371 opened by maartenflippo
5m 29s feat/proof-processor
feat/proof-processor
5m 29s
Release Python Release Python #14: Manually run by maartenflippo
9m 42s main
main
9m 42s
chore(ci): Update macos runners for python releases CI #1602: Commit 017d92e pushed by maartenflippo
4m 41s main
main
4m 41s
Release Python Release Python #13: Manually run by maartenflippo
7m 3s main
main
7m 3s