Run tests

Bump net.jqwik:jqwik from 1.8.5 to 1.9.0 #1242

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
build (16, ubuntu)	38s
build (16, windows)	1m 19s
build (17, ubuntu)	36s
build (17, windows)	1m 24s
build (18, ubuntu)	47s
build (18, windows)	1m 8s
build (19, ubuntu)	38s
build (19, windows)	1m 12s
build (20, ubuntu)	40s
build (20, windows)	1m 31s
build (21, ubuntu)	49s
build (21, windows)	1m 23s
auto-merge	3s
	12m 8s