Skip to content

Actions: pindakaashq/pindakaas

Actions

Check Format

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
format.yml
32 workflow runs
32 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 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 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
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 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 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 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 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 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 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 Check Format #20: Pull request #77 synchronize by hbierlee
January 14, 2025 10:13 27s hbierlee:feature/improve-integer-decompositions
hbierlee:feature/improve-integer-decompositions
January 14, 2025 10:13 27s
Improve integer decompositions Check Format #19: Pull request #77 synchronize by hbierlee
January 14, 2025 10:06 26s hbierlee:feature/improve-integer-decompositions
hbierlee:feature/improve-integer-decompositions
January 14, 2025 10:06 26s
Improve integer decompositions Check Format #18: Pull request #77 synchronize by hbierlee
January 14, 2025 10:05 26s hbierlee:feature/improve-integer-decompositions
hbierlee:feature/improve-integer-decompositions
January 14, 2025 10:05 26s
Improve integer decompositions Check Format #17: Pull request #77 synchronize by hbierlee
January 14, 2025 10:02 29s hbierlee:feature/improve-integer-decompositions
hbierlee:feature/improve-integer-decompositions
January 14, 2025 10:02 29s
Improve integer decompositions Check Format #16: Pull request #77 synchronize by hbierlee
January 14, 2025 09:57 29s hbierlee:feature/improve-integer-decompositions
hbierlee:feature/improve-integer-decompositions
January 14, 2025 09:57 29s
Improve integer decompositions Check Format #15: Pull request #77 synchronize by hbierlee
January 14, 2025 09:56 25s hbierlee:feature/improve-integer-decompositions
hbierlee:feature/improve-integer-decompositions
January 14, 2025 09:56 25s
Improve integer decompositions Check Format #14: Pull request #77 synchronize by hbierlee
January 13, 2025 16:41 26s hbierlee:feature/improve-integer-decompositions
hbierlee:feature/improve-integer-decompositions
January 13, 2025 16:41 26s
Improve integer decompositions Check Format #13: Pull request #77 opened by hbierlee
January 13, 2025 16:34 28s hbierlee:feature/improve-integer-decompositions
hbierlee:feature/improve-integer-decompositions
January 13, 2025 16:34 28s
A lot of general re-organisation and change the Solver::solve interface Check Format #12: Pull request #75 synchronize by Dekker1
October 28, 2024 03:15 20s Dekker1:feat/cleanup_and_solve
Dekker1:feat/cleanup_and_solve
October 28, 2024 03:15 20s
A lot of general re-organisation and change the Solver::solve interface Check Format #11: Pull request #75 synchronize by Dekker1
October 28, 2024 03:10 23s Dekker1:feat/cleanup_and_solve
Dekker1:feat/cleanup_and_solve
October 28, 2024 03:10 23s
A lot of general re-organisation and change the Solver::solve interface Check Format #10: Pull request #75 synchronize by Dekker1
October 28, 2024 02:59 22s Dekker1:feat/cleanup_and_solve
Dekker1:feat/cleanup_and_solve
October 28, 2024 02:59 22s
A lot of general re-organisation and change the Solver::solve interface Check Format #9: Pull request #75 opened by Dekker1
October 28, 2024 02:57 20s Dekker1:feat/cleanup_and_solve
Dekker1:feat/cleanup_and_solve
October 28, 2024 02:57 20s
Update Cadical to version 2.1.0 Check Format #8: Pull request #74 opened by Dekker1
October 10, 2024 04:02 21s Dekker1:feat/cadical-2.1.0
Dekker1:feat/cadical-2.1.0
October 10, 2024 04:02 21s