Skip to content

Merge pull request #691 from bobmyhill/refactor_solver #853

Merge pull request #691 from bobmyhill/refactor_solver

Merge pull request #691 from bobmyhill/refactor_solver #853

Triggered via push October 18, 2025 14:29
Status Success
Total duration 13m 24s
Artifacts 1

main.yml

on: push
Matrix: indent
Matrix: test
Matrix: test with full pycddlib
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size Digest
changes-astyle.diff
154 Bytes
sha256:3391f2dd5e06c02f5faf1fd5d27e4d06c03eee5ce98ebe5fd27b682b69eabcd6