Skip to content

Add VeriFast CI

Add VeriFast CI #7

Triggered via pull request February 1, 2025 08:42
@btjbtj
synchronize #239
btj:verifast-tool
Status Success
Total duration 31s
Artifacts

verifast.yml

on: pull_request
Verify std library
21s
Verify std library
Fit to window
Zoom out
Zoom in