Repository navigation

Pin GitHub Actions while preserving Ruff lint version - #31

Merged

Yang Liu (DG-git-dev) merged 1 commit into

mainfrom

fix/pr29-actions-pinning-resolved

Sep 24, 2026

Merged

Pin GitHub Actions while preserving Ruff lint version#31
Yang Liu (DG-git-dev) merged 1 commit into
mainfrom
fix/pr29-actions-pinning-resolved

Commits on Sep 24, 2026
- Pin GitHub Actions while preserving Ruff lint version
  Yang Liu (DG-git-dev)
  committed
  bab61b1