Skip to content
Test: validation

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

Sign in to view logs

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

Triggered via push September 30, 2024 08:33
@adamgeorge309adamgeorge309
pushed 6723bbf
master
Status Success
Total duration 5m 22s
Artifacts –

validation-tests.yml

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