Skip to content
CI Matrix

omit the initial prompt for a starting symbol when #1020

Sign in to view logs

omit the initial prompt for a starting symbol when

omit the initial prompt for a starting symbol when #1020

Run time

Learn about OS pricing on GitHub Actions
Job Run time
docker
1h 25m 31s
GHC 9.6.2 on self-hosted pate-ppc
1h 32m 14s
2h 57m 45s