Skip to content
Test extra build flows

Add abstract pass for formal verification #1814

# to view logs

Add abstract pass for formal verification

Add abstract pass for formal verification #1814

Triggered via pull request February 18, 2025 16:10
@widlarizerwidlarizer
synchronize #4894
emil/abstract
Status Success
Total duration 19s
Artifacts –

extra-builds.yml

on: pull_request
pre_job
5s
pre_job
Prepare Visual Studio build
0s
Prepare Visual Studio build
WASI build
0s
WASI build
Matrix: Build nix flake
Visual Studio build
0s
Visual Studio build
Fit to window
Zoom out
Zoom in