Skip to content
Syntactic checks

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

Sign in to view logs

Maintain loop invariant annotation when converting do .. while

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

Triggered via pull request August 20, 2024 07:20
@tautschnigtautschnig
synchronize #8417
tautschnig:fix-do-while-loop-invariant
Status Success
Total duration 2m 43s
Artifacts –

syntax-checks.yaml

on: pull_request
check-clang-format
1m 38s
check-clang-format
check-cpplint
1m 22s
check-cpplint
check-rustfmt
10s
check-rustfmt
Fit to window
Zoom out
Zoom in