Skip to content

Allow invariants on loops #374

Allow invariants on loops

Allow invariants on loops #374

Triggered via issue January 3, 2024 09:07
Status Success
Total duration 14s
Artifacts
This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

add_to_project.yml

on: issues
Add issue/pr to project
3s
Add issue/pr to project
Fit to window
Zoom out
Zoom in