smithy-dafny-codegen-cli workflows

chore: updates for latest dafny-rust - Sync and Send #3829

Sign in to view logs

Triggered via pull request January 28, 2025 15:47

ajewellamz

synchronize #772

ajewell/build-dafny-with-8

Status Success

Total duration 7m 12s

Artifacts –

smithy-polymorph.yml

on: pull_request

Matrix: gradle-build-smithy-dafny