Run tests

Bump net.jqwik:jqwik from 1.8.2 to 1.8.3 #1120

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
build (16, ubuntu)	39s
build (16, windows)	1m 11s
build (17, ubuntu)	34s
build (17, windows)	1m 14s
build (18, ubuntu)	34s
build (18, windows)	1m 26s
build (19, ubuntu)	34s
build (19, windows)	1m 30s
build (20, ubuntu)	32s
build (20, windows)	1m 34s
build (21, ubuntu)	33s
build (21, windows)	1m 5s
auto-merge	2s
	11m 28s