BWC

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

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Test Flow Framework BWC (11)	5m 30s
Test Flow Framework BWC (17)	7m 15s
Test Flow Framework BWC (21)	6m 48s
	19m 33s