Skip to content

Add preconditional invariant checking #2054

Add preconditional invariant checking

Add preconditional invariant checking #2054

Triggered via pull request January 20, 2024 12:24
Status Success
Total duration 14s
Artifacts
This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

build.yml

on: pull_request
Skip Duplicate Runs
6s
Skip Duplicate Runs
Matrix: build
Fit to window
Zoom out
Zoom in