Skip to content

ci: pin third-party workflow actions#37

Merged
cesarenaldi merged 1 commit into
mainfrom
chore/pin-workflow-actions
May 22, 2026
Merged

ci: pin third-party workflow actions#37
cesarenaldi merged 1 commit into
mainfrom
chore/pin-workflow-actions

Commits

Commits on May 22, 2026