Skip to content
Build: Linux

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

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

Run time

Learn about OS pricing on GitHub Actions
Job Run time
main (debug)
1m 33s
main (release)
1m 33s
3m 6s