Skip to content
Test extra build flows

Add abstract pass for formal verification #1836

# to view logs

Add abstract pass for formal verification

Add abstract pass for formal verification #1836

Triggered via pull request February 24, 2025 23:22
@widlarizerwidlarizer
synchronize #4894
emil/abstract
Status Success
Total duration 26s
Artifacts –

extra-builds.yml

on: pull_request
pre_job
7s
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