Repository navigation

Update and harden actions - #33

Merged

jpelgrom merged 4 commits into

mainfrom

Sep 28, 2026

Merged

Update and harden actions#33
jpelgrom merged 4 commits into
mainfrom
update-actions

Commits on May 5, 2026
- Update and pin actions
  jpelgrom
  committed
  b991e33
Commits on Sep 28, 2026
- Update actions, again
  jpelgrom
  committed
  2bb53d4
- Apply various zizmor suggestions
  jpelgrom
  committed
  0958dba
- One more zizmor suggestion
  jpelgrom
  committed
  beb9f2f