Skip to content
ci

introducing ^(functor args) compound terms #4266

Sign in to view logs

introducing ^(functor args) compound terms

introducing ^(functor args) compound terms #4266

Run time

Learn about OS pricing on GitHub Actions
Job Run time
docker
15s
15s