VeriFast

Merge branch 'main' into vecchallenge #30

Sign in to view logs

Triggered via push March 7, 2025 16:44

thanhnguyen-aws

vecchallenge

Status Failure

Total duration 27s

Artifacts –

verifast.yml

on: push

Verify std library

Annotations

1 error

Verify std library

Process completed with exit code 1.