Skip to content
CI

Test cases via builtin strings, Ability to take a subalphabet #51

Sign in to view logs

Test cases via builtin strings, Ability to take a subalphabet

Test cases via builtin strings, Ability to take a subalphabet #51

Run time

Learn about OS pricing on GitHub Actions
Job Run time
compile-agda
19m 24s
check-whitespace
4m 58s
24m 22s