New issue

Have a question about this project? # for a free GitHub account to open an issue and contact its maintainers and the community.

#

By clicking “#”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? # to your account

Jump to bottom

chore: Add permissions to workflow #48

Merged

jongwooo merged 1 commit into main from chore/add-permissions-to-workflow

Apr 21, 2023

Owner

jongwooo commented Apr 21, 2023

Description

Added permissions to workflow.

permissions:
  contents: read
  id-token: write


          chore: Add permissions to workflow

0f25f2c

jongwooo added the chore label

jongwooo self-assigned this

jongwooo merged commit c3791bf into main

jongwooo deleted the chore/add-permissions-to-workflow branch

April 21, 2023 17:37

# for free to join this conversation on GitHub. Already have an account? # to comment

Labels

chore