Skip to content

Actions: pindakaashq/pindakaas

Actions

Run Tests

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
rust.yml
184 workflow runs
184 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Resolve one level of dispatch for IPASIR UP callbacks Run Tests #200: Commit 190676a pushed by Dekker1
June 13, 2024 00:23 1m 31s develop
develop
June 13, 2024 00:23 1m 31s
Resolve one level of dispatch for IPASIR UP callbacks Run Tests #199: Pull request #59 opened by Dekker1
June 12, 2024 12:20 2m 10s Dekker1:fix/up_dispatch
Dekker1:fix/up_dispatch
June 12, 2024 12:20 2m 10s
Resolve one level of dispatch for IPASIR callbacks Run Tests #198: Commit 507ba3b pushed by Dekker1
June 6, 2024 01:55 1m 23s develop
develop
June 6, 2024 01:55 1m 23s
Resolve one level of dispatch for IPASIR callbacks Run Tests #197: Pull request #58 opened by Dekker1
June 6, 2024 01:52 1m 29s Dekker1:fix/callback_dispatch
Dekker1:fix/callback_dispatch
June 6, 2024 01:52 1m 29s
Store solver callbacks in the solver struct Run Tests #196: Commit 6695c90 pushed by Dekker1
June 5, 2024 03:42 1m 51s develop
develop
June 5, 2024 03:42 1m 51s
Update cadical & correctly store user callback functions Run Tests #195: Pull request #57 synchronize by Dekker1
June 5, 2024 03:37 1m 41s Dekker1:fix/cadical-update
Dekker1:fix/cadical-update
June 5, 2024 03:37 1m 41s
Update cadical & correctly store user callback functions Run Tests #194: Pull request #57 synchronize by Dekker1
June 5, 2024 03:34 1m 37s Dekker1:fix/cadical-update
Dekker1:fix/cadical-update
June 5, 2024 03:34 1m 37s
Update cadical & correctly store user callback functions Run Tests #193: Pull request #57 opened by Dekker1
June 5, 2024 03:32 1m 36s Dekker1:fix/cadical-update
Dekker1:fix/cadical-update
June 5, 2024 03:32 1m 36s
Add temporary hidden method to set CaDiCaL options Run Tests #192: Commit f750e52 pushed by Dekker1
May 31, 2024 04:23 1m 49s develop
develop
May 31, 2024 04:23 1m 49s
Add temporary hidden method to set CaDiCaL options Run Tests #191: Pull request #56 opened by Dekker1
May 31, 2024 04:21 1m 31s Dekker1:feat/cadical_opt
Dekker1:feat/cadical_opt
May 31, 2024 04:21 1m 31s
Update IPASIR callback wrappers to use Box::leak instead of mem::forget Run Tests #190: Commit 420d429 pushed by Dekker1
May 23, 2024 09:32 1m 22s develop
develop
May 23, 2024 09:32 1m 22s
Update IPASIR callback wrappers to use Box::leak instead of mem::forget Run Tests #189: Pull request #55 opened by Dekker1
May 23, 2024 09:30 1m 36s Dekker1:fix/disappearing_callback
Dekker1:fix/disappearing_callback
May 23, 2024 09:30 1m 36s
Fix a problem where callbacks given to IPASIR solver where dropped early Run Tests #188: Commit 8fb3c6d pushed by Dekker1
May 23, 2024 07:43 1m 36s develop
develop
May 23, 2024 07:43 1m 36s
Fix a problem where callbacks given to IPASIR solver where dropped early Run Tests #187: Pull request #54 opened by Dekker1
May 23, 2024 07:39 1m 42s Dekker1:fix/disappearing_callback
Dekker1:fix/disappearing_callback
May 23, 2024 07:39 1m 42s
Add integer-based interface supporting SCM work Run Tests #186: Pull request #53 synchronize by hbierlee
May 16, 2024 04:49 3m 57s feature/refactor-linear-encoding
feature/refactor-linear-encoding
May 16, 2024 04:49 3m 57s
Add integer-based interface supporting SCM work Run Tests #185: Pull request #53 synchronize by hbierlee
May 16, 2024 02:04 2m 18s feature/refactor-linear-encoding
feature/refactor-linear-encoding
May 16, 2024 02:04 2m 18s
Add integer-based interface supporting SCM work Run Tests #184: Pull request #53 synchronize by hbierlee
May 16, 2024 02:03 5m 52s feature/refactor-linear-encoding
feature/refactor-linear-encoding
May 16, 2024 02:03 5m 52s
Add integer-based interface supporting SCM work Run Tests #183: Pull request #53 synchronize by hbierlee
May 16, 2024 02:01 2m 9s feature/refactor-linear-encoding
feature/refactor-linear-encoding
May 16, 2024 02:01 2m 9s
Add integer-based interface supporting SCM work Run Tests #182: Pull request #53 synchronize by hbierlee
May 16, 2024 01:51 2m 19s feature/refactor-linear-encoding
feature/refactor-linear-encoding
May 16, 2024 01:51 2m 19s
Add integer-based interface supporting SCM work Run Tests #181: Pull request #53 synchronize by hbierlee
May 15, 2024 06:53 2m 27s feature/refactor-linear-encoding
feature/refactor-linear-encoding
May 15, 2024 06:53 2m 27s
Add integer-based interface supporting SCM work Run Tests #180: Pull request #53 opened by hbierlee
May 15, 2024 06:35 1m 28s feature/refactor-linear-encoding
feature/refactor-linear-encoding
May 15, 2024 06:35 1m 28s
Implement Debug for types Run Tests #179: Commit e7087d6 pushed by Dekker1
May 8, 2024 08:08 1m 43s develop
develop
May 8, 2024 08:08 1m 43s
Implement Debug for types Run Tests #178: Pull request #52 opened by Dekker1
May 8, 2024 07:25 1m 47s Dekker1:fix/fmt_debug
Dekker1:fix/fmt_debug
May 8, 2024 07:25 1m 47s
Add public new method to ConditionalDatabase Run Tests #177: Commit d5c43e1 pushed by Dekker1
May 6, 2024 11:15 1m 30s develop
develop
May 6, 2024 11:15 1m 30s
Add public new method to ConditionalDatabase Run Tests #176: Pull request #51 opened by Dekker1
May 6, 2024 11:08 1m 26s Dekker1:fix/cond_db
Dekker1:fix/cond_db
May 6, 2024 11:08 1m 26s