Skip to content
Coq

Revert "perf: Introduce TypeKey instead of String keys for named type… #557

Sign in to view logs

Revert "perf: Introduce TypeKey instead of String keys for named type…

Revert "perf: Introduce TypeKey instead of String keys for named type… #557

Run time

Learn about OS pricing on GitHub Actions
Job Run time
build
37s
37s