From 5cb466eaaead193cff304e687663b442f6ab56dd Mon Sep 17 00:00:00 2001
From: "Amir E. Aharoni" <amir.aharoni@mail.huji.ac.il>
Date: Wed, 26 Jan 2022 20:05:03 +0200
Subject: [PATCH] Remove Node 10 and add Node 16 in GitHub actions

---
 .github/workflows/node-lint.yml | 2 +-
 .github/workflows/node-test.yml | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/.github/workflows/node-lint.yml b/.github/workflows/node-lint.yml
index d87c5d8..130cca8 100644
--- a/.github/workflows/node-lint.yml
+++ b/.github/workflows/node-lint.yml
@@ -7,7 +7,7 @@ jobs:
     runs-on: ubuntu-20.04
     strategy:
       matrix:
-        node: [ '10', '14' ]
+        node: [ '14', '16' ]
     steps:
       - name: Checkout
         uses: actions/checkout@v2
diff --git a/.github/workflows/node-test.yml b/.github/workflows/node-test.yml
index dbf0646..dc174ac 100644
--- a/.github/workflows/node-test.yml
+++ b/.github/workflows/node-test.yml
@@ -7,7 +7,7 @@ jobs:
     runs-on: ubuntu-20.04
     strategy:
       matrix:
-        node: [ '10', '14' ]
+        node: [ '14', '16' ]
     steps:
       - name: Checkout
         uses: actions/checkout@v2