Skip to content

Merge subtree update for toolchain nightly-2025-09-09 #932

Merge subtree update for toolchain nightly-2025-09-09

Merge subtree update for toolchain nightly-2025-09-09 #932

Triggered via pull request September 10, 2025 15:29
Status Failure
Total duration 35s
Artifacts

verifast.yml

on: pull_request
Verify std library
21s
Verify std library
Notify @btj
6s
Notify @btj
Fit to window
Zoom out
Zoom in

Annotations

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