smithy-dafny-conversion workflows

fix: Provide -compileSuffix to dafny when available #101

Sign in to view logs

Triggered via pull request July 17, 2023 20:28

robin-aws

synchronize #280

robin-aws/compile-suffix

Status Success

Total duration 1m 6s

Artifacts –

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