Skip to content

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

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

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

Triggered via pull request February 20, 2025 19:59
Status Failure
Total duration 26s
Artifacts

verifast-negative.yml

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

Annotations

1 error and 1 warning
Verify std library
Process completed with exit code 1.
Verify std library
The process '/usr/bin/git' failed with exit code 128