Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
CI: change triggers (PR, push main, manual); refine cache keys (Unkin…
…dPartition#332) I observed that CI does not run for some PRs. Actually, there was no explicit trigger. This PR adds this trigger (`pull_request`) plus a manual trigger (`workflow_dispatch`). It also restricts the `push` trigger to the `master` branch, to avoid duplicate runs when opening a PR. This means that CI basically only runs if you open a PR (or push to master, of course). So if you want to test changes, it is not sufficient to push to your feature branch, you also need to open a PR. (Of course, more branch patterns could be added to the `push` trigger if one wants to run CI on new features without opening PRs.) The PR also refines the cache logic to: haskell/actions#7 (comment)
- Loading branch information