CI

ci(mergify): upgrade configuration to current format #871

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
build (ubuntu-latest, JVM2_12)	2m 21s
build (ubuntu-latest, JVM2_13)	2m 42s
build (ubuntu-latest, JVM3)	2m 37s
ci-passed	1s
	7m 41s