Skip to content

Merge subtree update for toolchain nightly-2025-11-23 #1032

Merge subtree update for toolchain nightly-2025-11-23

Merge subtree update for toolchain nightly-2025-11-23 #1032

Triggered via pull request January 18, 2026 14:24
Status Failure
Total duration 35s
Artifacts

verifast.yml

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

Annotations

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