Skip to content
Build: Linux

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

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

Triggered via push September 27, 2024 16:13
@adamgeorge309adamgeorge309
pushed 84a5a2e
master
Status Success
Total duration 1m 57s
Artifacts –

build-linux.yml

on: push
Matrix: main
Fit to window
Zoom out
Zoom in