Skip to content
Validate action

Support building Dafny from source #110

Sign in to view logs

Support building Dafny from source

Support building Dafny from source #110

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Run tests
1s
Install Dafny (macos-latest, 3.0.0)
36s
Install Dafny (macos-latest, 3.0.0, master)
35s
Install Dafny (macos-latest, 3.8.1)
35s
Install Dafny (macos-latest, 3.8.1, master)
36s
Install Dafny (macos-latest, 3.13.1)
31s
Install Dafny (macos-latest, 3.13.1, master)
34s
Install Dafny (macos-latest, 4.0.0)
29s
Install Dafny (macos-latest, 4.0.0, master)
32s
Install Dafny (macos-latest, nightly-2023-02-28-80a0e49)
29s
Install Dafny (macos-latest, nightly-2023-02-28-80a0e49, master)
30s
Install Dafny (macos-latest, nightly-latest)
29s
Install Dafny (macos-latest, nightly-latest, master)
27s
Install Dafny (ubuntu-latest, 3.0.0)
18s
Install Dafny (ubuntu-latest, 3.0.0, master)
21s
Install Dafny (ubuntu-latest, 3.8.1)
24s
Install Dafny (ubuntu-latest, 3.8.1, master)
1s
Install Dafny (ubuntu-latest, 3.13.1)
25s
Install Dafny (ubuntu-latest, 3.13.1, master)
11s
Install Dafny (ubuntu-latest, 4.0.0)
1s
Install Dafny (ubuntu-latest, 4.0.0, master)
1s
Install Dafny (ubuntu-latest, nightly-2023-02-28-80a0e49)
1s
Install Dafny (ubuntu-latest, nightly-2023-02-28-80a0e49, master)
1s
Install Dafny (ubuntu-latest, nightly-latest)
1s
Install Dafny (ubuntu-latest, nightly-latest, master)
1s
Install Dafny (windows-latest, 3.0.0)
44s
Install Dafny (windows-latest, 3.0.0, master)
51s
Install Dafny (windows-latest, 3.8.1)
1s
Install Dafny (windows-latest, 3.8.1, master)
1s
Install Dafny (windows-latest, 3.13.1)
59s
Install Dafny (windows-latest, 3.13.1, master)
1s
Install Dafny (windows-latest, 4.0.0)
1s
Install Dafny (windows-latest, 4.0.0, master)
1s
Install Dafny (windows-latest, nightly-2023-02-28-80a0e49)
1s
Install Dafny (windows-latest, nightly-2023-02-28-80a0e49, master)
1s
Install Dafny (windows-latest, nightly-latest)
1s
Install Dafny (windows-latest, nightly-latest, master)
1s
Install Dafny (macos-latest, 2.3.0)
36s
Install Dafny (ubuntu-latest, 2.3.0)
23s
11m 52s