code check

temporarily disable new css before fix the mark dialog #1041

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
type-checker (3.12)	1m 0s
lint (3.12)	51s
doc (3.12)	16s
	2m 7s