code check

temporarily disable new css before fix the mark dialog #1042

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
doc (3.12)	17s
lint (3.12)	49s
type-checker (3.12)	47s
	1m 53s