Skip to content

Actions: pindakaashq/pindakaas

Actions

Check Format

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
format.yml
12 workflow runs
12 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
Fix the adding of empty clauses Check Format #7: Pull request #73 opened by Dekker1
October 8, 2024 00:56 20s Dekker1:fix/empty_clause
Dekker1:fix/empty_clause
October 8, 2024 00:56 20s
Cleanup and incidental changes Check Format #6: Pull request #72 synchronize by Dekker1
October 4, 2024 00:50 25s Dekker1:fix/cleanup
Dekker1:fix/cleanup
October 4, 2024 00:50 25s
Cleanup and incidental changes Check Format #5: Pull request #72 synchronize by Dekker1
October 4, 2024 00:45 22s Dekker1:fix/cleanup
Dekker1:fix/cleanup
October 4, 2024 00:45 22s
Cleanup and incidental changes Check Format #4: Pull request #72 synchronize by Dekker1
October 4, 2024 00:12 22s Dekker1:fix/cleanup
Dekker1:fix/cleanup
October 4, 2024 00:12 22s
Cleanup and incidental changes Check Format #3: Pull request #72 synchronize by Dekker1
October 3, 2024 13:36 24s Dekker1:fix/cleanup
Dekker1:fix/cleanup
October 3, 2024 13:36 24s
Cleanup and incidental changes Check Format #2: Pull request #72 synchronize by Dekker1
October 3, 2024 13:35 25s Dekker1:fix/cleanup
Dekker1:fix/cleanup
October 3, 2024 13:35 25s
Cleanup and incidental changes Check Format #1: Pull request #72 synchronize by Dekker1
October 3, 2024 13:32 25s Dekker1:fix/cleanup
Dekker1:fix/cleanup
October 3, 2024 13:32 25s