Skip to content
Dafny Core verification

chore: update mutable maps #886

Sign in to view logs

chore: update mutable maps

chore: update mutable maps #886

Run time

Learn about OS pricing on GitHub Actions
Job Run time
verification (4.0.0) / reusable_verification (ubuntu-latest)
9m 23s
verification (4.1.0) / reusable_verification (ubuntu-latest)
9m 51s
19m 14s