Skip to content
Validation

Remove test lemma from the index #299

Sign in to view logs

Remove test lemma from the index

Remove test lemma from the index #299

Run time

Learn about OS pricing on GitHub Actions
Job Run time
validate_index
5s
5s