Skip to content

fix: use nullable types for all structure members (Java, .NET) #2344

fix: use nullable types for all structure members (Java, .NET)

fix: use nullable types for all structure members (Java, .NET) #2344

Annotations

1 warning

pr-ci-verification (4.8.0)  /  verification (4.8.0, 10, ubuntu-latest)

succeeded Jan 14, 2025 in 4m 15s
Set up job
1s
Support longpaths
0s
Run actions/checkout@v2
3s
Setup Dafny
12s
Setup Java 17 for codegen
4s
Install Smithy-Dafny codegen dependencies
1m 42s
Install smithy-dafny-codegen locally
14s
Execute smithy-dafny-codegen-test tests
1m 53s
Post Execute smithy-dafny-codegen-test tests
0s
Post Install smithy-dafny-codegen locally
0s
Post Install Smithy-Dafny codegen dependencies
0s
Post Setup Java 17 for codegen
0s
Post Run actions/checkout@v2
0s
Complete job
0s