Add VeriFast CI #9
btj
This run and associated checks have been archived and are scheduled for deletion.
Learn more about checks retention
goto-transcoder.yml
on: pull_request
Verify contracts with goto-transcoder
11m 2s