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

Triggered via push December 24, 2024 14:33
@MikaelMayerMikaelMayer
pushed 3a05984
v3.4.3
Status Success
Total duration 2m 11s
Artifacts –

azure-pipelines.yml

on: push
build
2m 3s
build
Fit to window
Zoom out
Zoom in

Annotations

1 warning
build
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636