Skip to content

Allow loop contracts annotated to GOTO statement #405

Allow loop contracts annotated to GOTO statement

Allow loop contracts annotated to GOTO statement #405

Triggered via push June 17, 2024 06:05
Status Success
Total duration 2m 47s
Artifacts

publish.yaml

on: push
Fit to window
Zoom out
Zoom in