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 25s
Artifacts

verifast-negative.yml

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

Annotations

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