Skip to content
Validate action

Version constraint on .NET #90

Sign in to view logs

Version constraint on .NET

Version constraint on .NET #90

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Run tests
12s
Install Dafny (macos-latest, 3.0.0)
20s
Install Dafny (macos-latest, 3.8.1)
18s
Install Dafny (macos-latest, 3.13.1)
20s
Install Dafny (macos-latest, 4.0.0)
19s
Install Dafny (macos-latest, nightly-2023-02-28-80a0e49)
21s
Install Dafny (macos-latest, nightly-latest)
19s
Install Dafny (ubuntu-latest, 3.0.0)
18s
Install Dafny (ubuntu-latest, 3.8.1)
13s
Install Dafny (ubuntu-latest, 3.13.1)
13s
Install Dafny (ubuntu-latest, 4.0.0)
16s
Install Dafny (ubuntu-latest, nightly-2023-02-28-80a0e49)
17s
Install Dafny (ubuntu-latest, nightly-latest)
17s
Install Dafny (windows-latest, 3.0.0)
53s
Install Dafny (windows-latest, 3.8.1)
59s
Install Dafny (windows-latest, 3.13.1)
1m 19s
Install Dafny (windows-latest, 4.0.0)
1m 5s
Install Dafny (windows-latest, nightly-2023-02-28-80a0e49)
58s
Install Dafny (windows-latest, nightly-latest)
50s
Install Dafny (macos-latest, 2.3.0)
21s
Install Dafny (ubuntu-latest, 2.3.0)
24s
10m 32s