Skip to content
Validate action

Updating dist/index.js #104

Sign in to view logs

Updating dist/index.js

Updating dist/index.js #104

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Install Dafny (macos-latest, 3.0.0)
17s
Run tests
10s
Install Dafny (macos-latest, 3.8.1)
17s
Install Dafny (macos-latest, 3.13.1)
25s
Install Dafny (macos-latest, 4.0.0)
30s
Install Dafny (macos-latest, nightly-2023-02-28-80a0e49)
24s
Install Dafny (macos-latest, nightly-latest)
24s
Install Dafny (ubuntu-latest, 3.0.0)
12s
Install Dafny (ubuntu-latest, 3.8.1)
12s
Install Dafny (ubuntu-latest, 3.13.1)
15s
Install Dafny (ubuntu-latest, 4.0.0)
14s
Install Dafny (ubuntu-latest, nightly-2023-02-28-80a0e49)
18s
Install Dafny (ubuntu-latest, nightly-latest)
36s
Install Dafny (windows-latest, 3.0.0)
1m 23s
Install Dafny (windows-latest, 3.8.1)
1m 2s
Install Dafny (windows-latest, 3.13.1)
1m 26s
Install Dafny (windows-latest, 4.0.0)
1m 5s
Install Dafny (windows-latest, nightly-2023-02-28-80a0e49)
1m 20s
Install Dafny (windows-latest, nightly-latest)
1m 23s
Install Dafny (macos-latest, 2.3.0)
18s
Install Dafny (ubuntu-latest, 2.3.0)
15s
12m 26s