Skip to content

fix: ensure solvers are always linked statically #27

fix: ensure solvers are always linked statically

fix: ensure solvers are always linked statically #27

Triggered via push August 9, 2024 11:27
Status Success
Total duration 2m 5s
Artifacts

batsat.yml

on: push
Matrix: Build and test
Fit to window
Zoom out
Zoom in