Add VeriFast CI #53
Triggered via pull request
February 19, 2025 17:03
btj
Status
Success
Total duration
13m 24s
Artifacts
–
goto-transcoder.yml
on: pull_request
Verify contracts with goto-transcoder
13m 11s