Skip to content
BWC

[Backport 2.x] fix(deps): update dependency org.dafny:dafnyruntime to… #1142

Sign in to view logs

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

[Backport 2.x] fix(deps): update dependency org.dafny:dafnyruntime to… #1142

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Test Flow Framework BWC (11)
5m 9s
Test Flow Framework BWC (17)
4m 37s
Test Flow Framework BWC (21)
4m 19s
14m 5s