github actions: Fix paths directives

I noticed on #122 that no actions were run.  I believe this is because
the paths directives had no wildcards, contrary to the examples at
https://help.github.com/en/actions/reference/workflow-syntax-for-github-actions#onpushpull_requestpaths

Eliminating the paths: restrictions entirely may be an equally valid
course of action.
This commit is contained in:
Jeff Epler 2020-06-01 10:28:48 -05:00
parent 0394801933
commit d3b9096790

View file

@ -4,9 +4,9 @@ on:
push:
pull_request:
paths:
- 'code/'
- 'tests/'
- '.github/workflows/'
- 'code/**'
- 'tests/**'
- '.github/workflows/**'
release:
types: [published]
check_suite: