Skip to content
Tests

dafny: Update to version 4.11.0 (#7125) #5030

Sign in to view logs

dafny: Update to version 4.11.0 (#7125)

dafny: Update to version 4.11.0 (#7125) #5030

Triggered via push September 11, 2025 17:37
@HUMORCEHUMORCE
pushed e0bdf04
master
Status Success
Total duration 2m 0s
Artifacts –

ci.yml

on: push
WindowsPowerShell
1m 56s
WindowsPowerShell
PowerShell
1m 8s
PowerShell
Fit to window
Zoom out
Zoom in

Annotations

2 notices
PowerShell
The windows-latest label will migrate from Windows Server 2022 to Windows Server 2025 beginning September 2, 2025. For more information see https://github.com/actions/runner-images/issues/12677
WindowsPowerShell
The windows-latest label will migrate from Windows Server 2022 to Windows Server 2025 beginning September 2, 2025. For more information see https://github.com/actions/runner-images/issues/12677