Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
https://docs.github.com/en/actions/learn-github-actions/workflow-syntax-for-github-actions#filter-pattern-cheat-sheet explains that `*' does not match a `/'.
- Loading branch information