Skip to content

ci: pin GitHub Actions to commit SHAs (1)#109

Open
mirkosalvato1-ctrl wants to merge 1 commit into
grobidOrg:masterfrom
mirkosalvato1-ctrl:pinguard/pin-actions-93587
Open

ci: pin GitHub Actions to commit SHAs (1)#109
mirkosalvato1-ctrl wants to merge 1 commit into
grobidOrg:masterfrom
mirkosalvato1-ctrl:pinguard/pin-actions-93587

Commits

Commits on Jul 23, 2026