Skip to content
Back to pull request #4894

Add abstract pass for formal verification #1816

Sign in to view logs

Add abstract pass for formal verification

Add abstract pass for formal verification #1816

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

extra-builds.yml

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