VeriFast (negative)

Merge remote-tracking branch 'origin/main' into subtree/library #1

Sign in to view logs

Triggered via push February 20, 2025 08:31

tautschnig

main

Status Success

Total duration 34s

Artifacts –

verifast-negative.yml

on: push

Verify std library