Skip to content

ci: shorten pull request feedback - #564

Merged
kevintseng merged 2 commits into
mainfrom
ci/faster-pr-feedback
Sep 30, 2026
Merged

kevintseng merged 2 commits into
mainfrom
ci/faster-pr-feedback

ci: say what the temp setting does off Windows, and pin lint and Windows

08af0f3
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 warning and 1 notice
Release Verification Gate
succeeded Sep 30, 2026 in 8m 25s