Skip to content

Actions: pindakaashq/pindakaas

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
271 workflow runs
271 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

github_actions in /. - Update #961423812 Dependabot Updates #40: by dependabot bot
February 10, 2025 11:05 44s develop
develop
February 10, 2025 11:05 44s
cargo in /. - Update #961415539 Dependabot Updates #39: by dependabot bot
February 10, 2025 10:56 24s develop
develop
February 10, 2025 10:56 24s
Add some basic CNF solver tests Run Tests #303: Pull request #85 synchronize by hbierlee
February 7, 2025 11:56 1m 39s hbierlee:feature/cadical-edge-cases
hbierlee:feature/cadical-edge-cases
February 7, 2025 11:56 1m 39s
Add some basic CNF solver tests Check Format #48: Pull request #85 synchronize by hbierlee
February 7, 2025 11:56 20s hbierlee:feature/cadical-edge-cases
hbierlee:feature/cadical-edge-cases
February 7, 2025 11:56 20s
Add some basic CNF solver tests Run Tests #302: Pull request #85 opened by hbierlee
February 7, 2025 11:11 3m 31s hbierlee:feature/cadical-edge-cases
hbierlee:feature/cadical-edge-cases
February 7, 2025 11:11 3m 31s
Add some basic CNF solver tests Check Format #47: Pull request #85 opened by hbierlee
February 7, 2025 11:11 23s hbierlee:feature/cadical-edge-cases
hbierlee:feature/cadical-edge-cases
February 7, 2025 11:11 23s
Update expect Run Tests #301: Pull request #84 opened by hbierlee
February 6, 2025 10:46 1m 41s hbierlee:feature/update-expect
hbierlee:feature/update-expect
February 6, 2025 10:46 1m 41s
Update expect Check Format #46: Pull request #84 opened by hbierlee
February 6, 2025 10:46 19s hbierlee:feature/update-expect
hbierlee:feature/update-expect
February 6, 2025 10:46 19s
github_actions in /. - Update #957969652 Dependabot Updates #38: by dependabot bot
February 3, 2025 11:25 40s develop
develop
February 3, 2025 11:25 40s
cargo in /. - Update #957953386 Dependabot Updates #37: by dependabot bot
February 3, 2025 11:09 1m 1s develop
develop
February 3, 2025 11:09 1m 1s
github_actions in /. - Update #954037461 Dependabot Updates #36: by dependabot bot
January 27, 2025 11:16 29s develop
develop
January 27, 2025 11:16 29s
cargo in /. - Update #954032566 Dependabot Updates #35: by dependabot bot
January 27, 2025 11:11 1m 3s develop
develop
January 27, 2025 11:11 1m 3s
Improve integer decompositions Check Format #45: Pull request #83 synchronize by hbierlee
January 22, 2025 19:12 21s hbierlee:feature/improve-integer-decompositions-applied
hbierlee:feature/improve-integer-decompositions-applied
January 22, 2025 19:12 21s
Improve integer decompositions Run Tests #300: Pull request #83 synchronize by hbierlee
January 22, 2025 19:12 2m 21s hbierlee:feature/improve-integer-decompositions-applied
hbierlee:feature/improve-integer-decompositions-applied
January 22, 2025 19:12 2m 21s
Improve integer decompositions Run Tests #299: Pull request #83 synchronize by hbierlee
January 22, 2025 18:56 2m 12s hbierlee:feature/improve-integer-decompositions-applied
hbierlee:feature/improve-integer-decompositions-applied
January 22, 2025 18:56 2m 12s
Improve integer decompositions Check Format #44: Pull request #83 synchronize by hbierlee
January 22, 2025 18:56 20s hbierlee:feature/improve-integer-decompositions-applied
hbierlee:feature/improve-integer-decompositions-applied
January 22, 2025 18:56 20s
Improve integer decompositions Run Tests #298: Pull request #83 synchronize by hbierlee
January 22, 2025 18:51 3m 51s hbierlee:feature/improve-integer-decompositions-applied
hbierlee:feature/improve-integer-decompositions-applied
January 22, 2025 18:51 3m 51s
Improve integer decompositions Check Format #43: Pull request #83 synchronize by hbierlee
January 22, 2025 18:51 20s hbierlee:feature/improve-integer-decompositions-applied
hbierlee:feature/improve-integer-decompositions-applied
January 22, 2025 18:51 20s
Improve integer decompositions Check Format #42: Pull request #83 synchronize by hbierlee
January 22, 2025 16:12 25s hbierlee:feature/improve-integer-decompositions-applied
hbierlee:feature/improve-integer-decompositions-applied
January 22, 2025 16:12 25s
Improve integer decompositions Run Tests #297: Pull request #83 synchronize by hbierlee
January 22, 2025 16:12 1m 40s hbierlee:feature/improve-integer-decompositions-applied
hbierlee:feature/improve-integer-decompositions-applied
January 22, 2025 16:12 1m 40s
Improve integer decompositions Run Tests #296: Pull request #83 synchronize by hbierlee
January 22, 2025 15:59 4m 27s hbierlee:feature/improve-integer-decompositions-applied
hbierlee:feature/improve-integer-decompositions-applied
January 22, 2025 15:59 4m 27s
Improve integer decompositions Check Format #41: Pull request #83 synchronize by hbierlee
January 22, 2025 15:59 22s hbierlee:feature/improve-integer-decompositions-applied
hbierlee:feature/improve-integer-decompositions-applied
January 22, 2025 15:59 22s
Allow simplify_with to use FnMut callbacks Run Tests #295: Commit acd50ae pushed by Dekker1
January 22, 2025 06:29 3m 41s develop
develop
January 22, 2025 06:29 3m 41s
Small fixes for Formula Run Tests #294: Pull request #82 opened by Dekker1
January 22, 2025 04:52 1m 55s Dekker1:fix/formula
Dekker1:fix/formula
January 22, 2025 04:52 1m 55s
Small fixes for Formula Check Format #40: Pull request #82 opened by Dekker1
January 22, 2025 04:52 19s Dekker1:fix/formula
Dekker1:fix/formula
January 22, 2025 04:52 19s