Skip to content
Validate action

Version constraint on .NET #91

Sign in to view logs

Version constraint on .NET

Version constraint on .NET #91

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Run tests
10s
Install Dafny (macos-latest, 3.0.0)
5s
Install Dafny (macos-latest, 3.8.1)
5s
Install Dafny (macos-latest, 3.13.1)
6s
Install Dafny (macos-latest, 4.0.0)
5s
Install Dafny (macos-latest, nightly-2023-02-28-80a0e49)
5s
Install Dafny (macos-latest, nightly-latest)
5s
Install Dafny (ubuntu-latest, 3.0.0)
3s
Install Dafny (ubuntu-latest, 3.8.1)
3s
Install Dafny (ubuntu-latest, 3.13.1)
5s
Install Dafny (ubuntu-latest, 4.0.0)
11s
Install Dafny (ubuntu-latest, nightly-2023-02-28-80a0e49)
3s
Install Dafny (ubuntu-latest, nightly-latest)
8s
Install Dafny (windows-latest, 3.0.0)
16s
Install Dafny (windows-latest, 3.8.1)
37s
Install Dafny (windows-latest, 3.13.1)
35s
Install Dafny (windows-latest, 4.0.0)
32s
Install Dafny (windows-latest, nightly-2023-02-28-80a0e49)
18s
Install Dafny (windows-latest, nightly-latest)
15s
Install Dafny (macos-latest, 2.3.0)
7s
Install Dafny (ubuntu-latest, 2.3.0)
3s
3m 57s