Skip to content
Library Dafny verification

chore: split vc gen on some methods to migrate to Dafny 4.4 #64

Sign in to view logs

chore: split vc gen on some methods to migrate to Dafny 4.4

chore: split vc gen on some methods to migrate to Dafny 4.4 #64

Run time

Learn about OS pricing on GitHub Actions
Job Run time
verification (AwsEncryptionSDK, macos-latest)
21m 14s
21m 14s