julia
CI: Use Dependabot to update GitHub Actions in this repo, and pin all external GitHub Actions to full-length commit hashes
#55283
Merged
Merged
CI: Use Dependabot to update GitHub Actions in this repo, and pin all external GitHub Actions to full-length commit hashes #55283
DilumAluthge
merged
3 commits into
master
from
dpa/dependabot-for-github-actions
CI: Use Dependabot to update GitHub Actions in this repo
4a85f397
Also add the `domain:ci` label to Dependabot PRs
7e3e9a58
Pin all external GitHub Actions to full-length commit hashes
fe5bddab
DilumAluthge
changed the title
Reviewers
No reviews
Assignees
No one assigned
Labels
ci
Milestone
No milestone
Login to write a write a comment.
Login via GitHub