Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
tools/internal/parser: process Github PR checks concurrently
Combined with the PR state cache, and with the bugfix to stop crashes on concurrent PSL parses, this takes a full verification of the PSL from ~15min down to 15s with a warmed cache, and under 5min on a cold cache.
- Loading branch information