This PR adds dependabot to periodically update the GitHub Actions used in CodeMirror's workflows.
Dependabot is configured to run once a month and send a single PR updating all the Actions with new versions. See this example PR.
I've also taken the liberty to update actions/checkout to its latest version v4.1.1. (you'd otherwise receive a dependabot PR moments after merging this PR)
Fixes #7077.
This PR adds dependabot to periodically update the GitHub Actions used in CodeMirror's workflows.
Dependabot is configured to run once a month and send a single PR updating all the Actions with new versions. See this example PR.
I've also taken the liberty to update
actions/checkout
to its latest version v4.1.1. (you'd otherwise receive a dependabot PR moments after merging this PR)