1

remove libz3-4

This commit is contained in:
Motiejus Jakštys 2021-06-18 10:18:58 +03:00 committed by Motiejus Jakštys
parent a18cbf2781
commit 9b97f5c8ad

View File

@ -20,7 +20,7 @@ outside() {
} }
inside() { inside() {
apt-get update && apt-get install -y ca-certificates libz3-4 apt-get update && apt-get install -y ca-certificates
exec ./bazel build -s --platforms @zig_sdk//:aarch64-macos-gnu //test:gognu exec ./bazel build -s --platforms @zig_sdk//:aarch64-macos-gnu //test:gognu
} }