Skip to content
MSVC Static Build

Update z3 #2

Sign in to view logs

Update z3

Update z3 #2

Triggered via pull request September 26, 2023 17:50
@jurajsicjurajsic
opened #100
update_z3
Status Cancelled
Total duration 1m 49s
Artifacts –

msvc-static-build.yml

on: pull_request
build
1m 37s
build
Fit to window
Zoom out
Zoom in

Annotations

2 errors
build
The run was canceled by @jurajsic.
build
The operation was canceled.