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

github_actions in /. - Update #900484300 Dependabot Updates #6: by dependabot bot
October 14, 2024 10:53 42s develop
develop
October 14, 2024 10:53 42s
cargo in /. - Update #900473294 Dependabot Updates #5: by dependabot bot
October 14, 2024 10:38 55s develop
develop
October 14, 2024 10:38 55s
Update Cadical to version 2.1.0 Run Tests #257: Commit 90631db pushed by Dekker1
October 10, 2024 10:32 3m 52s develop
develop
October 10, 2024 10:32 3m 52s
Update Cadical to version 2.1.0 Run Tests #256: Pull request #74 opened by Dekker1
October 10, 2024 04:02 3m 55s Dekker1:feat/cadical-2.1.0
Dekker1:feat/cadical-2.1.0
October 10, 2024 04:02 3m 55s
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
Change DIMACS parser to use const generic Run Tests #255: Commit e9a239a pushed by Dekker1
October 8, 2024 01:15 3m 53s develop
develop
October 8, 2024 01:15 3m 53s
Fix the adding of empty clauses Run Tests #254: Pull request #73 opened by Dekker1
October 8, 2024 00:56 4m 4s Dekker1:fix/empty_clause
Dekker1:fix/empty_clause
October 8, 2024 00:56 4m 4s
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
github_actions in /. - Update #896880111 Dependabot Updates #4: by dependabot bot
October 7, 2024 11:03 47s develop
develop
October 7, 2024 11:03 47s
cargo in /. - Update #896877686 Dependabot Updates #3: by dependabot bot
October 7, 2024 11:00 50s develop
develop
October 7, 2024 11:00 50s
cargo in /. - Update #895662499 Dependabot Updates #2: by dependabot bot
October 4, 2024 00:54 51s develop
develop
October 4, 2024 00:54 51s
github_actions in /. - Update #895662503 Dependabot Updates #1: by dependabot bot
October 4, 2024 00:54 40s develop
develop
October 4, 2024 00:54 40s
Enable test coverage details and enable dependabot Run Tests #253: Commit 4a16611 pushed by Dekker1
October 4, 2024 00:54 3m 56s develop
develop
October 4, 2024 00:54 3m 56s
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 Run Tests #252: Pull request #72 synchronize by Dekker1
October 4, 2024 00:50 1m 43s Dekker1:fix/cleanup
Dekker1:fix/cleanup
October 4, 2024 00:50 1m 43s
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 Run Tests #251: Pull request #72 synchronize by Dekker1
October 4, 2024 00:45 1m 40s Dekker1:fix/cleanup
Dekker1:fix/cleanup
October 4, 2024 00:45 1m 40s
Cleanup and incidental changes Run Tests #250: Pull request #72 synchronize by Dekker1
October 4, 2024 00:12 1m 40s Dekker1:fix/cleanup
Dekker1:fix/cleanup
October 4, 2024 00:12 1m 40s
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 Run Tests #249: Pull request #72 synchronize by Dekker1
October 3, 2024 13:36 1m 46s Dekker1:fix/cleanup
Dekker1:fix/cleanup
October 3, 2024 13:36 1m 46s
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 Run Tests #248: Pull request #72 synchronize by Dekker1
October 3, 2024 13:35 1m 19s Dekker1:fix/cleanup
Dekker1:fix/cleanup
October 3, 2024 13:35 1m 19s
Cleanup and incidental changes Run Tests #247: Pull request #72 synchronize by Dekker1
October 3, 2024 13:32 2m 33s Dekker1:fix/cleanup
Dekker1:fix/cleanup
October 3, 2024 13:32 2m 33s
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