Skip to content
VeriFast

Update README.md now that Challenge 1 is resolved #88

Sign in to view logs

Update README.md now that Challenge 1 is resolved

Update README.md now that Challenge 1 is resolved #88

Triggered via push September 9, 2025 18:58
@tautschnigtautschnig
pushed 9265556
update-readme-challenge-1
Status Success
Total duration 24s
Artifacts –

verifast.yml

on: push
Verify std library
19s
Verify std library
Notify @btj
0s
Notify @btj
Fit to window
Zoom out
Zoom in