Skip to content

Add VeriFast CI

Add VeriFast CI #38

Triggered via pull request February 12, 2025 07:53
@btjbtj
synchronize #239
btj:verifast-tool
Status Success
Total duration 15m 2s
Artifacts

goto-transcoder.yml

on: pull_request
Verify contracts with goto-transcoder
14m 52s
Verify contracts with goto-transcoder
Fit to window
Zoom out
Zoom in