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

Allow creation of &dyn ClauseDatabase Check Format #32: Pull request #78 synchronize by Dekker1
January 17, 2025 05:41 19s Dekker1:feat/dyn_clausedb
Dekker1:feat/dyn_clausedb
January 17, 2025 05:41 19s
Allow creation of &dyn ClauseDatabase Run Tests #282: Pull request #78 synchronize by Dekker1
January 17, 2025 05:41 1m 43s Dekker1:feat/dyn_clausedb
Dekker1:feat/dyn_clausedb
January 17, 2025 05:41 1m 43s
Allow creation of &dyn ClauseDatabase Check Format #31: Pull request #78 synchronize by Dekker1
January 17, 2025 04:47 19s Dekker1:feat/dyn_clausedb
Dekker1:feat/dyn_clausedb
January 17, 2025 04:47 19s
Allow creation of &dyn ClauseDatabase Run Tests #281: Pull request #78 synchronize by Dekker1
January 17, 2025 04:47 3m 32s Dekker1:feat/dyn_clausedb
Dekker1:feat/dyn_clausedb
January 17, 2025 04:47 3m 32s
Allow creation of &dyn ClauseDatabase Check Format #30: Pull request #78 opened by Dekker1
January 17, 2025 04:01 21s Dekker1:feat/dyn_clausedb
Dekker1:feat/dyn_clausedb
January 17, 2025 04:01 21s
Allow creation of &dyn ClauseDatabase Run Tests #280: Pull request #78 opened by Dekker1
January 17, 2025 04:01 3m 37s Dekker1:feat/dyn_clausedb
Dekker1:feat/dyn_clausedb
January 17, 2025 04:01 3m 37s
Improve integer decompositions Run Tests #279: Pull request #77 synchronize by hbierlee
January 15, 2025 09:02 2m 1s hbierlee:feature/improve-integer-decompositions
hbierlee:feature/improve-integer-decompositions
January 15, 2025 09:02 2m 1s
Improve integer decompositions Check Format #29: Pull request #77 synchronize by hbierlee
January 15, 2025 09:02 30s hbierlee:feature/improve-integer-decompositions
hbierlee:feature/improve-integer-decompositions
January 15, 2025 09:02 30s
Improve integer decompositions Run Tests #278: Pull request #77 synchronize by hbierlee
January 15, 2025 08:57 4m 13s hbierlee:feature/improve-integer-decompositions
hbierlee:feature/improve-integer-decompositions
January 15, 2025 08:57 4m 13s
Improve integer decompositions Check Format #28: Pull request #77 synchronize by hbierlee
January 15, 2025 08:57 33s hbierlee:feature/improve-integer-decompositions
hbierlee:feature/improve-integer-decompositions
January 15, 2025 08:57 33s
Improve integer decompositions Run Tests #277: Pull request #77 synchronize by hbierlee
January 14, 2025 14:26 2m 27s hbierlee:feature/improve-integer-decompositions
hbierlee:feature/improve-integer-decompositions
January 14, 2025 14:26 2m 27s
Improve integer decompositions Check Format #27: Pull request #77 synchronize by hbierlee
January 14, 2025 14:26 35s hbierlee:feature/improve-integer-decompositions
hbierlee:feature/improve-integer-decompositions
January 14, 2025 14:26 35s
Improve integer decompositions Check Format #26: Pull request #77 synchronize by hbierlee
January 14, 2025 14:22 33s hbierlee:feature/improve-integer-decompositions
hbierlee:feature/improve-integer-decompositions
January 14, 2025 14:22 33s
Improve integer decompositions Run Tests #276: Pull request #77 synchronize by hbierlee
January 14, 2025 14:22 2m 2s hbierlee:feature/improve-integer-decompositions
hbierlee:feature/improve-integer-decompositions
January 14, 2025 14:22 2m 2s
Improve integer decompositions Check Format #25: Pull request #77 synchronize by hbierlee
January 14, 2025 14:19 35s hbierlee:feature/improve-integer-decompositions
hbierlee:feature/improve-integer-decompositions
January 14, 2025 14:19 35s
Improve integer decompositions Run Tests #275: Pull request #77 synchronize by hbierlee
January 14, 2025 14:19 2m 58s hbierlee:feature/improve-integer-decompositions
hbierlee:feature/improve-integer-decompositions
January 14, 2025 14:19 2m 58s
Improve integer decompositions Check Format #24: Pull request #77 synchronize by hbierlee
January 14, 2025 14:14 34s hbierlee:feature/improve-integer-decompositions
hbierlee:feature/improve-integer-decompositions
January 14, 2025 14:14 34s
Improve integer decompositions Run Tests #274: Pull request #77 synchronize by hbierlee
January 14, 2025 14:14 2m 18s hbierlee:feature/improve-integer-decompositions
hbierlee:feature/improve-integer-decompositions
January 14, 2025 14:14 2m 18s
Improve integer decompositions Run Tests #273: Pull request #77 synchronize by hbierlee
January 14, 2025 13:46 2m 12s hbierlee:feature/improve-integer-decompositions
hbierlee:feature/improve-integer-decompositions
January 14, 2025 13:46 2m 12s
Improve integer decompositions Check Format #23: Pull request #77 synchronize by hbierlee
January 14, 2025 13:46 30s hbierlee:feature/improve-integer-decompositions
hbierlee:feature/improve-integer-decompositions
January 14, 2025 13:46 30s
Improve integer decompositions Check Format #22: Pull request #77 synchronize by hbierlee
January 14, 2025 12:13 30s hbierlee:feature/improve-integer-decompositions
hbierlee:feature/improve-integer-decompositions
January 14, 2025 12:13 30s
Improve integer decompositions Run Tests #272: Pull request #77 synchronize by hbierlee
January 14, 2025 12:13 1m 57s hbierlee:feature/improve-integer-decompositions
hbierlee:feature/improve-integer-decompositions
January 14, 2025 12:13 1m 57s
Improve integer decompositions Check Format #21: Pull request #77 synchronize by hbierlee
January 14, 2025 10:15 25s hbierlee:feature/improve-integer-decompositions
hbierlee:feature/improve-integer-decompositions
January 14, 2025 10:15 25s
Improve integer decompositions Run Tests #271: Pull request #77 synchronize by hbierlee
January 14, 2025 10:15 1m 51s hbierlee:feature/improve-integer-decompositions
hbierlee:feature/improve-integer-decompositions
January 14, 2025 10:15 1m 51s
Improve integer decompositions Run Tests #270: Pull request #77 synchronize by hbierlee
January 14, 2025 10:13 2m 1s hbierlee:feature/improve-integer-decompositions
hbierlee:feature/improve-integer-decompositions
January 14, 2025 10:13 2m 1s