Generate ICMLs

Review suggestions for SC07 and SC08 (#800) #991

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
changes	10s
generate-icmls (th/MB)	1m 0s
generate-icmls (th/PP)	44s
generate-icmls (th/LBF)	53s
	2m 47s