Bump microstream.version from 07.01.00-MS-GA to 08.01.02-MS-GA in /microstream-v7 #372

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
build (11, jdk, temurin)	40s
build (17, jdk, temurin)	23s
	1m 3s