Skip to content
AzurePipelines

Release v3.3.1 (updated Dafny to 4.7.0) (#480) #670

Sign in to view logs

Release v3.3.1 (updated Dafny to 4.7.0) (#480)

Release v3.3.1 (updated Dafny to 4.7.0) (#480) #670

Run time

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