Skip to content
Validate action

Support building Dafny from source #115

Sign in to view logs

Support building Dafny from source

Support building Dafny from source #115

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Run tests
15s
Install Dafny (macos-latest, 3.0.0)
35s
Install Dafny (macos-latest, 3.8.1)
49s
Install Dafny (macos-latest, 3.13.1)
26s
Install Dafny (macos-latest, 4.0.0)
32s
Install Dafny (macos-latest, 4.9.1)
33s
Install Dafny (macos-latest, nightly-2023-02-28-80a0e49)
34s
Install Dafny (macos-latest, nightly-latest)
28s
Install Dafny (ubuntu-latest, 3.0.0)
19s
Install Dafny (ubuntu-latest, 3.8.1)
24s
Install Dafny (ubuntu-latest, 3.13.1)
23s
Install Dafny (ubuntu-latest, 4.0.0)
35s
Install Dafny (ubuntu-latest, 4.9.1)
40s
Install Dafny (ubuntu-latest, nightly-2023-02-28-80a0e49)
24s
Install Dafny (ubuntu-latest, nightly-latest)
25s
Install Dafny (windows-latest, 3.0.0)
1m 1s
Install Dafny (windows-latest, 3.8.1)
1m 1s
Install Dafny (windows-latest, 3.13.1)
1m 14s
Install Dafny (windows-latest, 4.0.0)
42s
Install Dafny (windows-latest, 4.9.1)
44s
Install Dafny (windows-latest, nightly-2023-02-28-80a0e49)
1m 21s
Install Dafny (windows-latest, nightly-latest)
1m 21s
Install Dafny (macos-latest, 2.3.0)
46s
Install Dafny (ubuntu-latest, 2.3.0)
22s
15m 54s