We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
1 parent 795d276 commit dfd4394Copy full SHA for dfd4394
1 file changed
.github/workflows/rust-native-build.yml
@@ -221,7 +221,7 @@ jobs:
221
set -euo pipefail
222
# z3 built with zig c++ uses libc++ symbols (std::__1::*).
223
# Override z3-sys default (stdc++) so Rust links the matching runtime.
224
- if [[ ""${{ inputs.component }}" == "cli" ]]; then
+ if [[ "${{ inputs.component }}" == "cli" ]]; then
225
echo "CXXSTDLIB=c++" >> "$GITHUB_ENV"
226
fi
227
0 commit comments