MSVC Static Build

Merge branch 'master' into update_z3 #1

Sign in to view logs

Summary
Jobs
- build
Run details
- Usage
- Workflow file

Triggered via push September 26, 2023 16:48

jurajsic

update_z3

Status Failure

Total duration 25m 43s

Artifacts –

msvc-static-build.yml

on: push

Annotations

1 error

Process completed with exit code 1.