VeriFast (negative)

Improve the VeriFast scripts (#507) #1022

Sign in to view logs

Triggered via push January 18, 2026 21:14

github-merge-queue[bot]

gh-readonly-queue/main/pr-507-ac622dad131968e8b40aba31e4fea99917f7b1c9

Status Success

Total duration 35s

Artifacts –

verifast-negative.yml

on: push

Verify std library