Skip to content

Update GitHub Actions workflow to use OpenID Connect#12

Merged
eitoball merged 1 commit intomainfrom update-github-actions-workflowAug 3, 2024

Commits

Commits on Aug 3, 2024