Repository navigation

Use GitHub Actions workflow lockfile - #31

Merged

alexandre-daubois merged 2 commits into

mainfrom

Oct 30, 2026

Merged

Use GitHub Actions workflow lockfile#31
alexandre-daubois merged 2 commits into
mainfrom
actions-lock

Commits on Oct 30, 2026
- Use GitHub Actions workflow lockfile
  TimWolla
  committed
  b6a8626
- Check the actions lockfile in CI
  alexandre-daubois
  committed
  cb2471e