Skip to content
cleanup caches by a branch

Fix bug in arity checker with pi types #223

Sign in to view logs

Fix bug in arity checker with pi types

Fix bug in arity checker with pi types #223

Run time

Learn about OS pricing on GitHub Actions
Job Run time
cleanup
8s
8s