Skip to content
AzurePipelines

Release v3.2.3 (updated Dafny to 4.5.0) (#465) #652

Sign in to view logs

Release v3.2.3 (updated Dafny to 4.5.0) (#465)

Release v3.2.3 (updated Dafny to 4.5.0) (#465) #652

Run time

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