Skip to content

build: added default linker flag in case pkg-config doesn't have z3 i… #378

build: added default linker flag in case pkg-config doesn't have z3 i…

build: added default linker flag in case pkg-config doesn't have z3 i… #378

Triggered via push September 27, 2024 16:13
Status Success
Total duration 19m 22s
Artifacts
Matrix: fingerprint-tests
Fit to window
Zoom out
Zoom in