Skip to content
Back to pull request #949

fix(deps): update dependency org.dafny:dafnyruntime to v4.9.0 #2736

Sign in to view logs

fix(deps): update dependency org.dafny:dafnyruntime to v4.9.0

fix(deps): update dependency org.dafny:dafnyruntime to v4.9.0 #2736

Run time

Learn about OS pricing on GitHub Actions
Job Run time
javadoc
17s
javadoc
1m 4s
spotless
20s
spotless
36s
Test JDK${{ matrix.java }}, ${{ matrix.os }}
0s
Integ Test JDK${{ matrix.java }}, ${{ matrix.os }}
0s
Multi-Node Integ Test JDK${{ matrix.java }}, ${{ matrix.os }}
0s
Integ Test JDK21, ubuntu-latest
6m 6s
Test JDK21, ubuntu-latest
1m 46s
Integ Test JDK21, macos-latest
7m 9s
Multi-Node Integ Test JDK21, ubuntu-latest
8m 44s
Test JDK21, macos-latest
1m 45s
Integ Test JDK21, windows-latest
7m 41s
Multi-Node Integ Test JDK21, macos-latest
6m 58s
Test JDK21, windows-latest
2m 21s
Multi-Node Integ Test JDK21, windows-latest
7m 48s
52m 35s