Merge pull request #213 from mithro/dependabot-gha

infra: Use dependabot to automatically update GitHub actions.