Skip to content
Library Code Generation

chore: bump dafny verification version to 4.7 (#1181) #411

Sign in to view logs

chore: bump dafny verification version to 4.7 (#1181)

chore: bump dafny verification version to 4.7 (#1181) #411

Run time

Learn about OS pricing on GitHub Actions
Job Run time
code-generation (DynamoDbEncryption, 6.0.x, ubuntu-latest)
3m 37s
code-generation (TestVectors, 6.0.x, ubuntu-latest)
1m 53s
5m 30s