Skip to content
AzurePipelines

Release v3.4.3 (updated Dafny to 4.9.1) (#510) #715

Sign in to view logs

Release v3.4.3 (updated Dafny to 4.9.1) (#510)

Release v3.4.3 (updated Dafny to 4.9.1) (#510) #715

Run time

Learn about OS pricing on GitHub Actions
Job Run time
build
2m 3s
2m 3s