Generate ICMLs

Edit SJ07 to SJ12 (#806) #997

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
changes	10s
generate-icmls (th/PP)	45s
generate-icmls (th/MB)	46s
generate-icmls (th/LBF)	56s
	2m 37s