Skip to content

Actions: pindakaashq/pindakaas

Actions

Run Tests

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
rust.yml
169 workflow runs
169 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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 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 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 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 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 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 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 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 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 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
Improve integer decompositions Run Tests #269: Pull request #77 synchronize by hbierlee
January 14, 2025 10:06 1m 42s hbierlee:feature/improve-integer-decompositions
hbierlee:feature/improve-integer-decompositions
January 14, 2025 10:06 1m 42s
Improve integer decompositions Run Tests #268: Pull request #77 synchronize by hbierlee
January 14, 2025 10:05 1m 49s hbierlee:feature/improve-integer-decompositions
hbierlee:feature/improve-integer-decompositions
January 14, 2025 10:05 1m 49s
Improve integer decompositions Run Tests #267: Pull request #77 synchronize by hbierlee
January 14, 2025 10:02 1m 43s hbierlee:feature/improve-integer-decompositions
hbierlee:feature/improve-integer-decompositions
January 14, 2025 10:02 1m 43s
Improve integer decompositions Run Tests #266: Pull request #77 synchronize by hbierlee
January 14, 2025 09:57 1m 43s hbierlee:feature/improve-integer-decompositions
hbierlee:feature/improve-integer-decompositions
January 14, 2025 09:57 1m 43s
Improve integer decompositions Run Tests #265: Pull request #77 synchronize by hbierlee
January 14, 2025 09:56 3m 48s hbierlee:feature/improve-integer-decompositions
hbierlee:feature/improve-integer-decompositions
January 14, 2025 09:56 3m 48s
Improve integer decompositions Run Tests #264: Pull request #77 synchronize by hbierlee
January 13, 2025 16:41 1m 41s hbierlee:feature/improve-integer-decompositions
hbierlee:feature/improve-integer-decompositions
January 13, 2025 16:41 1m 41s
Improve integer decompositions Run Tests #263: Pull request #77 opened by hbierlee
January 13, 2025 16:34 4m 1s hbierlee:feature/improve-integer-decompositions
hbierlee:feature/improve-integer-decompositions
January 13, 2025 16:34 4m 1s
Make solve methods return solution/fail (reference) objects Run Tests #262: Commit 4245595 pushed by Dekker1
October 28, 2024 03:25 3m 59s develop
develop
October 28, 2024 03:25 3m 59s
A lot of general re-organisation and change the Solver::solve interface Run Tests #261: Pull request #75 synchronize by Dekker1
October 28, 2024 03:15 1m 34s Dekker1:feat/cleanup_and_solve
Dekker1:feat/cleanup_and_solve
October 28, 2024 03:15 1m 34s
A lot of general re-organisation and change the Solver::solve interface Run Tests #260: Pull request #75 synchronize by Dekker1
October 28, 2024 03:10 1m 36s Dekker1:feat/cleanup_and_solve
Dekker1:feat/cleanup_and_solve
October 28, 2024 03:10 1m 36s
A lot of general re-organisation and change the Solver::solve interface Run Tests #259: Pull request #75 synchronize by Dekker1
October 28, 2024 02:59 1m 47s Dekker1:feat/cleanup_and_solve
Dekker1:feat/cleanup_and_solve
October 28, 2024 02:59 1m 47s
A lot of general re-organisation and change the Solver::solve interface Run Tests #258: Pull request #75 opened by Dekker1
October 28, 2024 02:57 3m 48s Dekker1:feat/cleanup_and_solve
Dekker1:feat/cleanup_and_solve
October 28, 2024 02:57 3m 48s