fix: segfault in minisat #75
rustsat.yml
on: pull_request
Test python stubs
44s
Test generated C header
21s
Matrix: Build and test