testing of parser equiv on github CI is taking too long

[jsiek]

I would like to get the time down below 3 minutes. We still want good coverage of the whole grammar, but we probably don't need to test so many .pf files to achieve coverage of the grammar.

[jsiek]

Codex is taking this issue in progress.

[jsiek]

Draft PR opened: https://github.com/jsiek/deduce/pull/980\n\nStatus: reduced the parser-equivalence CI path by using a curated grammar corpus and parallel parser workers. Local Python 3.13 run of test-deduce.py --equiv completed in 35.96s wall time.

[jsiek]

GitHub Actions update for draft PR #980: regression (equiv) passed in 1m59s, which is below the 3-minute target. Other non-target regression matrix jobs are still pending at the time of this comment.

[jsiek]

Final CI update for draft PR #980: all checks are passing. The issue-targeted regression (equiv) job completed in 1m59s.

[jsiek]

PR #980 has merged: https://github.com/jsiek/deduce/pull/980\n\nMerge commit: 37ed029. GitHub auto-closed this issue via the PR body. The regression (equiv) CI job on the PR completed in 1m59s, below the 3-minute target.