Skip to content

ci: Pin the version used of GitHub Actions#30

Merged
theofidry merged 1 commit into
mainfrom
ci/pin-deps
Dec 31, 2025
Merged

ci: Pin the version used of GitHub Actions#30
theofidry merged 1 commit into
mainfrom
ci/pin-deps

Commits

Commits on Dec 31, 2025