Skip to content

ci: update github actions - #277

Merged
PierreJeanjacquot merged 11 commits into
mainfrom
chore/pin-actions
Oct 13, 2026
Merged

PierreJeanjacquot merged 11 commits into
mainfrom
chore/pin-actions

Commits

  1. Commits on Sep 21, 2026

  2. Commits on Oct 13, 2026