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

Add FFIPointer helper type to manage Rust types exposed to C
Run Tests #221: Commit c30c0a6 pushed by Dekker1
June 27, 2024 03:01 2m 44s develop
June 27, 2024 03:01 2m 44s
Fix IPASIR-UP FFI exposed SolvingActions object
Run Tests #220: Pull request #61 opened by Dekker1
June 27, 2024 01:57 3m 50s Dekker1:fix/solvingactions
June 27, 2024 01:57 3m 50s
Update intel-sat repository and disable compilation warnings
Run Tests #219: Commit 4949be4 pushed by Dekker1
June 25, 2024 03:09 2m 41s develop
June 25, 2024 03:09 2m 41s
Update CaDiCaL to work on Windows
Run Tests #218: Pull request #60 synchronize by Dekker1
June 25, 2024 03:06 1m 59s Dekker1:feat/cadical-windows
June 25, 2024 03:06 1m 59s
Update CaDiCaL to work on Windows
Run Tests #217: Pull request #60 synchronize by Dekker1
June 25, 2024 02:59 2m 30s Dekker1:feat/cadical-windows
June 25, 2024 02:59 2m 30s
Update CaDiCaL to work on Windows
Run Tests #216: Pull request #60 synchronize by Dekker1
June 25, 2024 02:53 2m 21s Dekker1:feat/cadical-windows
June 25, 2024 02:53 2m 21s
Update CaDiCaL to work on Windows
Run Tests #215: Pull request #60 synchronize by Dekker1
June 25, 2024 02:46 1m 54s Dekker1:feat/cadical-windows
June 25, 2024 02:46 1m 54s
Update CaDiCaL to work on Windows
Run Tests #214: Pull request #60 synchronize by Dekker1
June 25, 2024 02:11 2m 38s Dekker1:feat/cadical-windows
June 25, 2024 02:11 2m 38s
Update CaDiCaL to work on Windows
Run Tests #213: Pull request #60 synchronize by Dekker1
June 25, 2024 02:08 1m 37s Dekker1:feat/cadical-windows
June 25, 2024 02:08 1m 37s
Update CaDiCaL to work on Windows
Run Tests #212: Pull request #60 synchronize by Dekker1
June 25, 2024 02:00 1m 35s Dekker1:feat/cadical-windows
June 25, 2024 02:00 1m 35s
Update CaDiCaL to work on Windows
Run Tests #211: Pull request #60 synchronize by Dekker1
June 25, 2024 01:55 1m 42s Dekker1:feat/cadical-windows
June 25, 2024 01:55 1m 42s
Update CaDiCaL to work on Windows
Run Tests #210: Pull request #60 synchronize by Dekker1
June 25, 2024 01:42 2m 30s Dekker1:feat/cadical-windows
June 25, 2024 01:42 2m 30s
Update CaDiCaL to work on Windows
Run Tests #209: Pull request #60 synchronize by Dekker1
June 25, 2024 01:15 1m 52s Dekker1:feat/cadical-windows
June 25, 2024 01:15 1m 52s
Update CaDiCaL to work on Windows
Run Tests #208: Pull request #60 synchronize by Dekker1
June 25, 2024 00:56 1m 55s Dekker1:feat/cadical-windows
June 25, 2024 00:56 1m 55s
Update CaDiCaL to work on Windows
Run Tests #207: Pull request #60 synchronize by Dekker1
June 25, 2024 00:56 2m 50s Dekker1:feat/cadical-windows
June 25, 2024 00:56 2m 50s
Update CaDiCaL to work on Windows
Run Tests #206: Pull request #60 synchronize by Dekker1
June 25, 2024 00:50 2m 57s Dekker1:feat/cadical-windows
June 25, 2024 00:50 2m 57s
Update CaDiCaL to work on Windows
Run Tests #205: Pull request #60 synchronize by Dekker1
June 25, 2024 00:42 2m 38s Dekker1:feat/cadical-windows
June 25, 2024 00:42 2m 38s
Update CaDiCaL to work on Windows
Run Tests #204: Pull request #60 synchronize by Dekker1
June 25, 2024 00:35 2m 13s Dekker1:feat/cadical-windows
June 25, 2024 00:35 2m 13s
Update CaDiCaL to work on Windows
Run Tests #203: Pull request #60 synchronize by Dekker1
June 25, 2024 00:30 2m 16s Dekker1:feat/cadical-windows
June 25, 2024 00:30 2m 16s
Update CaDiCaL to work on Windows
Run Tests #202: Pull request #60 synchronize by Dekker1
June 25, 2024 00:28 1m 22s Dekker1:feat/cadical-windows
June 25, 2024 00:28 1m 22s
Update CaDiCaL to work on Windows
Run Tests #201: Pull request #60 opened by Dekker1
June 25, 2024 00:25 1m 25s Dekker1:feat/cadical-windows
June 25, 2024 00:25 1m 25s
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
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
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
June 6, 2024 01:55 1m 23s