Skip to content

Actions: pindakaashq/pindakaas

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
233 workflow runs
233 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Update CaDiCaL to v1.9.2 Run Tests #121: Pull request #30 opened by Dekker1
December 18, 2023 03:04 3m 22s feature/cadical-192
feature/cadical-192
December 18, 2023 03:04 3m 22s
Update CaDiCaL to version 1.9.0 Run Tests #120: Commit 5f95b52 pushed by Dekker1
November 22, 2023 02:54 2m 54s develop
develop
November 22, 2023 02:54 2m 54s
Update CaDiCaL to version 1.9.0 Run Tests #119: Pull request #29 synchronize by Dekker1
November 19, 2023 03:48 2m 27s feature/cadical-190
feature/cadical-190
November 19, 2023 03:48 2m 27s
Update CaDiCaL to version 1.9.0 Run Tests #118: Pull request #29 synchronize by Dekker1
November 19, 2023 03:11 2m 37s feature/cadical-190
feature/cadical-190
November 19, 2023 03:11 2m 37s
Update CaDiCaL to version 1.9.0 Run Tests #117: Pull request #29 opened by Dekker1
November 19, 2023 03:09 2m 40s feature/cadical-190
feature/cadical-190
November 19, 2023 03:09 2m 40s
Add initial Kissat interface Run Tests #116: Commit ee1b1d4 pushed by Dekker1
October 23, 2023 00:10 2m 24s develop
develop
October 23, 2023 00:10 2m 24s
Solver Interfaces Run Tests #115: Pull request #28 synchronize by Dekker1
October 20, 2023 00:38 1m 56s feature/solver
feature/solver
October 20, 2023 00:38 1m 56s
Solver Interfaces Run Tests #114: Pull request #28 synchronize by Dekker1
October 20, 2023 00:35 2m 33s feature/solver
feature/solver
October 20, 2023 00:35 2m 33s
ProTip! You can narrow down the results and go further in time using created:<2023-10-20 or the other filters available.