CI

New definitions of displayed and vertical universal elements #373

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
compile-agda	32m 11s
line-lengths	10s
check-whitespace	6m 13s
	38m 34s