Skip to content
Validate action

feat: Set DAFNY_VERSION environment variable (#19) #85

Sign in to view logs

feat: Set DAFNY_VERSION environment variable (#19)

feat: Set DAFNY_VERSION environment variable (#19) #85

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Run tests
16s
Install Dafny (macos-latest, 3.0.0)
23s
Install Dafny (macos-latest, 3.8.1)
19s
Install Dafny (macos-latest, 3.13.1)
31s
Install Dafny (macos-latest, 4.0.0)
35s
Install Dafny (macos-latest, nightly-2023-02-28-80a0e49)
17s
Install Dafny (macos-latest, nightly-latest)
17s
Install Dafny (ubuntu-latest, 3.0.0)
17s
Install Dafny (ubuntu-latest, 3.8.1)
17s
Install Dafny (ubuntu-latest, 3.13.1)
12s
Install Dafny (ubuntu-latest, 4.0.0)
12s
Install Dafny (ubuntu-latest, nightly-2023-02-28-80a0e49)
19s
Install Dafny (ubuntu-latest, nightly-latest)
19s
Install Dafny (windows-latest, 3.0.0)
1m 14s
Install Dafny (windows-latest, 3.8.1)
1m 16s
Install Dafny (windows-latest, 3.13.1)
1m 5s
Install Dafny (windows-latest, 4.0.0)
1m 17s
Install Dafny (windows-latest, nightly-2023-02-28-80a0e49)
47s
Install Dafny (windows-latest, nightly-latest)
1m 7s
Install Dafny (macos-latest, 2.3.0)
22s
Install Dafny (ubuntu-latest, 2.3.0)
18s
11m 40s