VeriFast (negative)

Add a tour of the RawVec proof (#481) #1001

Sign in to view logs

Triggered via push November 27, 2025 07:41

github-merge-queue[bot]

main

Status Success

Total duration 26s

Artifacts –

verifast-negative.yml

on: push

Verify std library