Lazy-load the complete pull request workspace #542

Merged
timmy merged 1 commits from timmy/541-lazy-pull-workflow into main 2026-08-11 04:55:20 +00:00

1 Commits

Author SHA1 Message Date
7d4ff1f095 perf: lazy-load pull request workspace (Closes #541)
All checks were successful
CI / lint (pull_request) Successful in 1m4s
CI / build-release (pull_request) Successful in 4s
CI / release-candidate (pull_request) Has been skipped
2026-08-11 04:53:18 +00:00