diff options
author | Clement Tsang <34804052+ClementTsang@users.noreply.github.com> | 2021-06-22 20:34:00 -0400 |
---|---|---|
committer | GitHub <noreply@github.com> | 2021-06-22 20:34:00 -0400 |
commit | 93b899e7458bda4b53a8f3edbb84f4591afaefae (patch) | |
tree | 4543f6b726d08e49814b06a7cbc2afa907217646 /.github | |
parent | 2b4eba8f3ca8bc0cfa6b159b5fee9953a2047fe3 (diff) |
feature: add F9 as an alternative process kill key (#518)
Adds F9 as an alternative kill shortcut to dd.
Diffstat (limited to '.github')
-rw-r--r-- | .github/workflows/ci.yml | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index 637eeff7..23bb31ad 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -12,12 +12,14 @@ on: paths-ignore: - 'README.md' - 'docs/**' + - '.github/ISSUE_TEMPLATE/**' push: branches: - master paths-ignore: - 'README.md' - 'docs/**' + - '.github/ISSUE_TEMPLATE/**' jobs: # Check rustfmt |