Skip to content

Disable VERI-1063 during static elaboration #1479

Disable VERI-1063 during static elaboration

Disable VERI-1063 during static elaboration #1479

Triggered via push December 6, 2024 14:39
Status Cancelled
Total duration 18m 37s
Artifacts 1

extra-builds.yml

on: push
pre_job
6s
pre_job
Prepare Visual Studio build
37s
Prepare Visual Studio build
Matrix: Build nix flake
Visual Studio build
11m 14s
Visual Studio build
Fit to window
Zoom out
Zoom in

Annotations

2 errors and 3 warnings
WASI build
The run was canceled by @github-actions[bot].
WASI build
The operation was canceled.
pre_job
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
Prepare Visual Studio build
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
Build nix flake (ubuntu-latest)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636

Artifacts

Produced during runtime
Name Size
vcxsrc
3.6 MB