Skip to content
Validate action

Support building Dafny from source #118

Sign in to view logs

Support building Dafny from source

Support building Dafny from source #118

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Run tests
10s
Install Dafny (macos-latest, 3.0.0)
45s
Install Dafny (macos-latest, 3.8.1)
42s
Install Dafny (macos-latest, 3.13.1)
35s
Install Dafny (macos-latest, 4.0.0)
1m 38s
Install Dafny (macos-latest, 4.9.1)
1m 33s
Install Dafny (macos-latest, nightly-2023-02-28-80a0e49)
28s
Install Dafny (macos-latest, nightly-latest)
31s
Install Dafny (ubuntu-latest, 3.0.0)
26s
Install Dafny (ubuntu-latest, 3.8.1)
24s
Install Dafny (ubuntu-latest, 3.13.1)
20s
Install Dafny (ubuntu-latest, 4.0.0)
1m 17s
Install Dafny (ubuntu-latest, 4.9.1)
2m 20s
Install Dafny (ubuntu-latest, nightly-2023-02-28-80a0e49)
28s
Install Dafny (ubuntu-latest, nightly-latest)
25s
Install Dafny (windows-latest, 3.0.0)
1m 54s
Install Dafny (windows-latest, 3.8.1)
57s
Install Dafny (windows-latest, 3.13.1)
1m 54s
Install Dafny (windows-latest, 4.0.0)
1m 7s
Install Dafny (windows-latest, 4.9.1)
1m 7s
Install Dafny (windows-latest, nightly-2023-02-28-80a0e49)
2m 0s
Install Dafny (windows-latest, nightly-latest)
2m 7s
Install Dafny (macos-latest, 2.3.0)
34s
Install Dafny (ubuntu-latest, 2.3.0)
25s
24m 7s