Skip to content
Test: other

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

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

Triggered via push September 27, 2024 13:15
@adamgeorge309adamgeorge309
pushed 06a0ffe
master
Status Success
Total duration 25m 46s
Artifacts –

other-tests.yml

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