Check workflow type and token permissions #46
Labels
code/enhancement
Some feature could work better
not ready
Issues that are not ready to be worked on; PRs that should skip CI
We should decide between
pull_request
andpull_request_target
workflow type, and between using automatic short-livedGITHUB_TOKEN
and PAT.The text was updated successfully, but these errors were encountered: