Skip to content
Test extra build flows

yosys-smtbmc: add cvc5 to help text. #1570

Sign in to view logs

yosys-smtbmc: add cvc5 to help text.

yosys-smtbmc: add cvc5 to help text. #1570

Triggered via push December 25, 2024 04:59
@whitequarkwhitequark
pushed 1ef4c7f
main
Status Success
Total duration 19m 41s
Artifacts 1

extra-builds.yml

on: push
pre_job
6s
pre_job
Prepare Visual Studio build
34s
Prepare Visual Studio build
WASI build
19m 19s
WASI build
Matrix: Build nix flake
Visual Studio build
10m 42s
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.6 MB