CI

isSet for Grammars, Monoidal Category of grammars, finish Dyck Trace … #71

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
compile-agda	29m 17s
check-whitespace	4m 50s
	34m 7s