Skip to content
AzurePipelines

Release v3.3.0 (updated Dafny to 4.6.0) #656

Sign in to view logs

Release v3.3.0 (updated Dafny to 4.6.0)

Release v3.3.0 (updated Dafny to 4.6.0) #656

Run time

Learn about OS pricing on GitHub Actions
Job Run time
build
58s
58s