Skip to content
smithy-dafny-conversion workflows

feat: add type descriptors for data constructors in Java, when necessary #337

Sign in to view logs

feat: add type descriptors for data constructors in Java, when necessary

feat: add type descriptors for data constructors in Java, when necessary #337

Triggered via pull request November 27, 2023 23:00
@robin-awsrobin-aws
synchronize #301
robin-aws/add-type-descriptors-for-java
Status Success
Total duration 45s
Artifacts –

smithy-dafny-conversion.yml

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