Skip to content
smithy-dafny-conversion workflows

chore: use enum names in smithy-dafny-python, add ListObjectsV2 to S3 TestModel #2976

Sign in to view logs

chore: use enum names in smithy-dafny-python, add ListObjectsV2 to S3 TestModel

chore: use enum names in smithy-dafny-python, add ListObjectsV2 to S3 TestModel #2976

Triggered via pull request February 5, 2025 19:50
@kessplaskessplas
synchronize #784
enum-name-fix-use-name
Status Success
Total duration 59s
Artifacts –

smithy-dafny-conversion.yml

on: pull_request
gradle-build-smithy-dafny-conversion
50s
gradle-build-smithy-dafny-conversion
Fit to window
Zoom out
Zoom in