Skip to content

Merge subtree update for toolchain nightly-2025-02-10 #14

Merge subtree update for toolchain nightly-2025-02-10

Merge subtree update for toolchain nightly-2025-02-10 #14

Triggered via pull request February 21, 2025 14:46
Status Failure
Total duration 33s
Artifacts

verifast.yml

on: pull_request
Verify std library
22s
Verify std library
Fit to window
Zoom out
Zoom in

Annotations

1 error
Verify std library
Process completed with exit code 1.