Skip to content

Actions: ConSol-Lab/Pumpkin

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
719 workflow runs
719 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

feat: adding edge-finding for disjunctive CI #570: Pull request #141 synchronize by ImkoMarijnissen
February 27, 2025 16:37 3m 44s feat/disjunctive
feat/disjunctive
February 27, 2025 16:37 3m 44s
feat: enable proof logging in appropriate test cases CI #569: Pull request #154 opened by maartenflippo
February 27, 2025 11:08 3m 29s feat/proof-logging-in-tests
feat/proof-logging-in-tests
February 27, 2025 11:08 3m 29s
feat: Add logging for branchers CI #568: Pull request #135 synchronize by ImkoMarijnissen
February 27, 2025 11:02 3m 27s feat/brancher-statistics
feat/brancher-statistics
February 27, 2025 11:02 3m 27s
feat: adding edge-finding for disjunctive CI #567: Pull request #141 synchronize by ImkoMarijnissen
February 27, 2025 10:56 3m 32s feat/disjunctive
feat/disjunctive
February 27, 2025 10:56 3m 32s
feat: Add logging for branchers CI #566: Pull request #135 synchronize by ImkoMarijnissen
February 27, 2025 09:35 3m 34s feat/brancher-statistics
feat/brancher-statistics
February 27, 2025 09:35 3m 34s
feat: Add logging for branchers Dismiss old reviews when re-requested #106: Pull request #135 review_requested by ImkoMarijnissen
February 27, 2025 09:34 15s feat/brancher-statistics
feat/brancher-statistics
February 27, 2025 09:34 15s
fix: identify more places where root-level facts need to be logged to the proof CI #565: Pull request #153 synchronize by maartenflippo
February 27, 2025 08:46 3m 47s fix/proof-logging-crash
fix/proof-logging-crash
February 27, 2025 08:46 3m 47s
fix: identify more places where root-level facts need to be logged to the proof Dismiss old reviews when re-requested #105: Pull request #153 review_requested by maartenflippo
February 27, 2025 08:16 26s fix/proof-logging-crash
fix/proof-logging-crash
February 27, 2025 08:16 26s
fix: identify more places where root-level facts need to be logged to the proof CI #564: Pull request #153 opened by maartenflippo
February 27, 2025 08:16 3m 43s fix/proof-logging-crash
fix/proof-logging-crash
February 27, 2025 08:16 3m 43s
feat: adding edge-finding for disjunctive CI #563: Pull request #141 synchronize by ImkoMarijnissen
February 14, 2025 12:40 3m 40s feat/disjunctive
feat/disjunctive
February 14, 2025 12:40 3m 40s
feat: adding edge-finding for disjunctive Dismiss old reviews when re-requested #104: Pull request #141 review_requested by ImkoMarijnissen
February 14, 2025 12:35 12s feat/disjunctive
feat/disjunctive
February 14, 2025 12:35 12s
feat: adding edge-finding for disjunctive CI #562: Pull request #141 synchronize by ImkoMarijnissen
February 14, 2025 12:35 3m 40s feat/disjunctive
feat/disjunctive
February 14, 2025 12:35 3m 40s
feat: adding edge-finding for disjunctive CI #561: Pull request #141 synchronize by ImkoMarijnissen
February 14, 2025 10:10 3m 35s feat/disjunctive
feat/disjunctive
February 14, 2025 10:10 3m 35s
feat: Add logging for branchers Dismiss old reviews when re-requested #103: Pull request #135 review_requested by ImkoMarijnissen
February 14, 2025 10:09 11s feat/brancher-statistics
feat/brancher-statistics
February 14, 2025 10:09 11s
feat: Add logging for branchers CI #560: Pull request #135 synchronize by ImkoMarijnissen
February 14, 2025 10:07 3m 36s feat/brancher-statistics
feat/brancher-statistics
February 14, 2025 10:07 3m 36s
add grammar-based testing script (#145) CI #559: Commit 94e7603 pushed by maartenflippo
February 13, 2025 10:58 3m 51s develop
develop
February 13, 2025 10:58 3m 51s
feat: implement predicate and assumption solving in python wrapper (#… CI #558: Commit 3cfa26c pushed by maartenflippo
February 13, 2025 10:57 3m 33s develop
develop
February 13, 2025 10:57 3m 33s
build: run python tests in GitHub Actions (#151) CI #557: Commit 2462937 pushed by maartenflippo
February 13, 2025 10:57 3m 40s develop
develop
February 13, 2025 10:57 3m 40s
fix: allow reification of lazy reasons (#152) CI #556: Commit c29fc4c pushed by maartenflippo
February 13, 2025 10:56 3m 41s develop
develop
February 13, 2025 10:56 3m 41s
fix: allow reification of lazy reasons Dismiss old reviews when re-requested #102: Pull request #152 review_requested by maartenflippo
February 13, 2025 09:39 11s fix/reification-of-lazy-reasons
fix/reification-of-lazy-reasons
February 13, 2025 09:39 11s
fix: allow reification of lazy reasons CI #555: Pull request #152 synchronize by maartenflippo
February 13, 2025 09:39 3m 44s fix/reification-of-lazy-reasons
fix/reification-of-lazy-reasons
February 13, 2025 09:39 3m 44s
build: run python tests in GitHub Actions Dismiss old reviews when re-requested #101: Pull request #151 review_requested by maartenflippo
February 13, 2025 09:26 14s feat/python-automated-tests
feat/python-automated-tests
February 13, 2025 09:26 14s
build: run python tests in GitHub Actions CI #554: Pull request #151 synchronize by maartenflippo
February 13, 2025 09:25 3m 37s feat/python-automated-tests
feat/python-automated-tests
February 13, 2025 09:25 3m 37s
build: run python tests in GitHub Actions CI #553: Pull request #151 synchronize by maartenflippo
February 12, 2025 16:15 16h 25m 5s feat/python-automated-tests
feat/python-automated-tests
February 12, 2025 16:15 16h 25m 5s
fix: allow reification of lazy reasons Dismiss old reviews when re-requested #100: Pull request #152 review_requested by maartenflippo
February 12, 2025 16:11 12s fix/reification-of-lazy-reasons
fix/reification-of-lazy-reasons
February 12, 2025 16:11 12s