Skip to content
Build Tool

chore: patch z3-sys & add musl build to ci (#14786) #30

Sign in to view logs

chore: patch z3-sys & add musl build to ci (#14786)

chore: patch z3-sys & add musl build to ci (#14786) #30

Run time

Learn about OS pricing on GitHub Actions
Job Run time
debian
11m 23s
musl (aarch64)
55s
musl (x86_64)
46s
dev
8m 35s
21m 39s