Merge subtree update for toolchain nightly-2025-11-25 #1042
tautschnigverifast.yml
on: pull_request
Verify std library
42s
Notify @btj
6s
Annotations
2 errors
|
Verify std library
Process completed with exit code 1.
|
|
Please run verifast-proofs/patch-verifast-proofs.sh
Some VeriFast proofs are out of date; please chdir to verifast-proofs and run patch-verifast-proofs.sh to update them.
|