fix: Provide -compileSuffix to dafny when available #837
This run and associated checks have been archived and are scheduled for deletion.
Learn more about checks retention
test_models_dafny_verification.yml
on: pull_request
Matrix: verification
Annotations
23 warnings