diff options
| author | John MacFarlane <jgm@berkeley.edu> | 2022-09-27 10:47:40 -0700 |
|---|---|---|
| committer | John MacFarlane <jgm@berkeley.edu> | 2022-09-27 10:47:40 -0700 |
| commit | 04d79eac30456d5bb64fd812010cab13c94851a0 (patch) | |
| tree | f694c8d88b7ac9a3b13965c8da39fc5bacc73e46 /.github | |
| parent | 84c053222cf781175646b300b3f474f141f9f33e (diff) | |
CI: Update files that don't trigger CI.
Diffstat (limited to '.github')
| -rw-r--r-- | .github/workflows/ci.yml | 12 |
1 files changed, 6 insertions, 6 deletions
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index a21f11222..1cebe4d26 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -6,14 +6,14 @@ on: - '*' - '!rc/*' paths-ignore: - - 'doc/**' + - 'doc/*.md' - 'MANUAL.txt' - '*.md' - 'RELEASE_CHECKLIST' - 'BUGS' - - 'changelog' - 'README.template' - - 'appveyor.yml' + - 'hie.yaml' + - '*.nix' - 'tools/**' - 'linux/**' - 'macos/**' @@ -21,14 +21,14 @@ on: - 'man/**' pull_request: paths-ignore: - - 'doc/**' + - 'doc/*.md' - 'MANUAL.txt' - '*.md' - 'RELEASE_CHECKLIST' - 'BUGS' - - 'changelog' - 'README.template' - - 'appveyor.yml' + - 'hie.yaml' + - '*.nix' - 'tools/**' - 'linux/**' - 'macos/**' |