fix: Provide -compileSuffix to dafny when available #101
This run and associated checks have been archived and are scheduled for deletion.
Learn more about checks retention
smithy-dafny-conversion.yml
on: pull_request
gradle-build-smithy-dafny-conversion
32s