Skip to content

feat: add a shorthand for while-loop invariants #9646

feat: add a shorthand for while-loop invariants

feat: add a shorthand for while-loop invariants #9646

Triggered via pull request June 18, 2026 12:51
@volodeykavolodeyka
synchronize #14102
Status Success
Total duration 9s
Artifacts

check-stdlib-flags.yml

on: pull_request_target
check-stdlib-flags
5s
check-stdlib-flags
Fit to window
Zoom out
Zoom in