Skip to content

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

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… #290

Triggered via push September 27, 2024 13:15
Status Success
Total duration 37m 45s
Artifacts

module-tests.yml

on: push
Matrix: module-tests
Fit to window
Zoom out
Zoom in