Skip to content

read_xaiger2: Rm debug print #1468

read_xaiger2: Rm debug print

read_xaiger2: Rm debug print #1468

Triggered via pull request December 5, 2024 17:41
Status Success
Total duration 41m 26s
Artifacts 1

extra-builds.yml

on: pull_request
pre_job
4s
pre_job
Prepare Visual Studio build
33s
Prepare Visual Studio build
Matrix: Build nix flake
Visual Studio build
10m 33s
Visual Studio build
Fit to window
Zoom out
Zoom in

Annotations

4 warnings
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
WASI build
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.59 MB