Skip to content
Windows MSVC

chore(deps): allow z3 prebuilt TLS wrapper #83

Sign in to view logs

chore(deps): allow z3 prebuilt TLS wrapper

chore(deps): allow z3 prebuilt TLS wrapper #83

Triggered via push September 10, 2026 20:53
@copy-pr-botcopy-pr-bot[bot]
pushed 6cdf311
pull-request/2738
Status Success
Total duration 19m 40s
Artifacts –

windows-msvc.yml

on: push
Resolve PR metadata
6s
Resolve PR metadata
Matrix: cache-seed
Matrix: pr-check
Matrix: build
Fit to window
Zoom out
Zoom in

Annotations

3 notices
sccache stats - pr-check
0% - 0 hits, 561 misses, 0 errors
sccache stats - pr-check
13% - 163 hits, 1073 misses, 0 errors
PR lint and test (arm64)
"The windows-11-arm label will migrate to use Visual Studio 2026 by default beginning September 21, 2026. For more information see https://github.com/actions/runner-images/issues/14602"