Skip to content
CI

Equalizers, Dyck Trace Strong equiv, inductive strings, generic deter… #67

Sign in to view logs

Equalizers, Dyck Trace Strong equiv, inductive strings, generic deter…

Equalizers, Dyck Trace Strong equiv, inductive strings, generic deter… #67

Run time

Learn about OS pricing on GitHub Actions
Job Run time
compile-agda
8m 23s
check-whitespace
5m 35s
13m 58s