Skip to content

chore: update and pin all github actions#1

Merged
RichardoC merged 1 commit into
mainfrom
update-and-pin-workflows
Jun 22, 2026
Merged

chore: update and pin all github actions#1
RichardoC merged 1 commit into
mainfrom
update-and-pin-workflows

chore: update and pin all github actions

8a497de
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
preview
succeeded Jun 22, 2026 in 10s