Skip to content
Check Std Verification

Loop Contracts Annotation for While-Loop #464

Sign in to view logs

Loop Contracts Annotation for While-Loop

Loop Contracts Annotation for While-Loop #464

Triggered via pull request September 11, 2024 06:15
@qinhepingqinheping
synchronize #3151
qinheping:features/loop-contracts-annotation
Status Failure
Total duration 3m 4s
Artifacts –

verify-std-check.yml

on: pull_request
Matrix: verify-std
Fit to window
Zoom out
Zoom in

Annotations

3 errors
verify-std (ubuntu-22.04)
Process completed with exit code 1.
verify-std (macos-14)
The job was canceled because "ubuntu-22_04" failed.
verify-std (macos-14)
Process completed with exit code 1.