Skip to content
Syntactic checks

Maintain loop invariant annotation when converting do .. while #2667

Sign in to view logs

Maintain loop invariant annotation when converting do .. while

Maintain loop invariant annotation when converting do .. while #2667

Triggered via pull request August 19, 2024 19:04
@tautschnigtautschnig
opened #8417
tautschnig:fix-do-while-loop-invariant
Status Success
Total duration 1m 35s
Artifacts –

syntax-checks.yaml

on: pull_request
check-clang-format
1m 18s
check-clang-format
check-cpplint
1m 13s
check-cpplint
check-rustfmt
8s
check-rustfmt
Fit to window
Zoom out
Zoom in