Skip to content
Test extra build flows

verific: Add bottom and top bound properties to wire #809

Sign in to view logs

verific: Add bottom and top bound properties to wire

verific: Add bottom and top bound properties to wire #809

Triggered via pull request September 10, 2024 10:53
@RCoeurjolyRCoeurjoly
synchronize #4538
RCoeurjoly:verific_bounds
Status Success
Total duration 14s
Artifacts –

extra-builds.yml

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