Skip to content
CI

isSet for Grammars, Monoidal Category of grammars, finish Dyck Trace Equivalence #69

Sign in to view logs

isSet for Grammars, Monoidal Category of grammars, finish Dyck Trace Equivalence

isSet for Grammars, Monoidal Category of grammars, finish Dyck Trace Equivalence #69

Run time

Learn about OS pricing on GitHub Actions
Job Run time
check-whitespace
5m 14s
compile-agda
15m 10s
20m 24s