Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Experiment with running GitHub actions on merge commits
From actions/checkout#15 and https://help.github.com/en/actions/automating-your-workflow-with-github-actions/events-that-trigger-workflows.
- Loading branch information