Add VeriFast CI #60
Triggered via pull request
February 19, 2025 19:52
remi-delmas-3000
Status
Success
Total duration
13m 24s
Artifacts
–
goto-transcoder.yml
on: pull_request
Verify contracts with goto-transcoder
13m 13s