From 93b899e7458bda4b53a8f3edbb84f4591afaefae Mon Sep 17 00:00:00 2001
From: Clement Tsang <34804052+ClementTsang@users.noreply.github.com>
Date: Tue, 22 Jun 2021 20:34:00 -0400
Subject: feature: add F9 as an alternative process kill key (#518)

Adds F9 as an alternative kill shortcut to dd.
---
 .github/workflows/ci.yml | 2 ++
 1 file changed, 2 insertions(+)

(limited to '.github')

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
-- 
cgit v1.2.3