Commit 0c0610552fe0d075ddc479811814a2985e581d43
1 parent
fbdb516f
Allow README change to trigger CI (for 12.3.0)
Virtually all changes are merged through PRs now. The exclusions would prevent a README change from being the last commit before a release.
Showing
1 changed file
with
0 additions
and
4 deletions
.github/workflows/main.yml
| @@ -7,10 +7,6 @@ on: | @@ -7,10 +7,6 @@ on: | ||
| 7 | - main | 7 | - main |
| 8 | - build | 8 | - build |
| 9 | - build/* | 9 | - build/* |
| 10 | - paths-ignore: | ||
| 11 | - - 'ChangeLog' | ||
| 12 | - - 'README*' | ||
| 13 | - - 'TODO*' | ||
| 14 | pull_request: | 10 | pull_request: |
| 15 | schedule: | 11 | schedule: |
| 16 | # Building regularly with cron makes it safe for us to use | 12 | # Building regularly with cron makes it safe for us to use |