Skip to content

ci: update and pin GHA to commit hash#2249

Merged
vaind merged 1 commit intomasterfrom
ci/pin-actions
Oct 4, 2022
Merged

ci: update and pin GHA to commit hash#2249
vaind merged 1 commit intomasterfrom
ci/pin-actions

Commits

Commits on Oct 4, 2022