Repository navigation

chore(pinact): pin/update GitHub Actions - #448

Merged

davidliu merged 3 commits into

mainfrom

ci/pinact_action

Oct 19, 2026

Merged

chore(pinact): pin/update GitHub Actions#448
davidliu merged 3 commits into
mainfrom
ci/pinact_action

Commits on Oct 19, 2026
- chore(pinact): pin/update GitHub Actions
  davidliu
  committed
  d6a367d
- ci: keep changesets/action on v1 and switch setup-java to temurin
  
  davidliu
  and
  claude
  committed
  e8bea32
- fix docs warning blocking ci
  davidliu
  committed
  4fa0748