Skip to content
Back to pull request #903

[Backport 2.x] fix(deps): update dependency org.dafny:dafnyruntime to v4.8.1 #1438

Sign in to view logs

[Backport 2.x] fix(deps): update dependency org.dafny:dafnyruntime to v4.8.1

[Backport 2.x] fix(deps): update dependency org.dafny:dafnyruntime to v4.8.1 #1438

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Get-CI-Image-Tag / Get-CI-Image-Tag
4s
Run Security Integration Tests on Linux (11)
9m 13s
Run Security Integration Tests on Linux (17)
8m 42s
Run Security Integration Tests on Linux (21)
8m 36s
26m 35s