Repository navigation

⚙️ [Maintenance]: GitHub Action pins can be synchronized - #171

Merged

Marius Storhaug (MariusStorhaug) merged 4 commits into

mainfrom

github-action-pin-updater

Aug 15, 2026

Commits on Aug 15, 2026
- Add GitHub Action SHA-pin updater
  
  Marius Storhaug (MariusStorhaug)
  and
  Copilot
  committed
  44b6db6
- Avoid rewriting current action pins
  
  Marius Storhaug (MariusStorhaug)
  and
  Copilot
  committed
  d29bcba
- Document GitHub Action pin synchronization
  
  Marius Storhaug (MariusStorhaug)
  and
  Copilot
  committed
  3144f1f
- Suppress test setup lint warnings
  
  Marius Storhaug (MariusStorhaug)
  and
  Copilot
  committed
  7425ece