Add github actions linting check

This was formerly a Travis CI job. Setting it up using Github actions
gives us a user interface which integrates into the rest of github
better. This is a step towards having all jobs seup in Github actions
and removing Travis.

Author: thomasspriggs

.github/workflows/pull-request-check-cpplint.sh

@@ -0,0 +1,25 @@
+#!/bin/bash
+
+# Stop on errors
+set -e
+
+# Log information about the run of this check.
+echo "Pull request's base branch is: ${BASE_BRANCH}"
+echo "Pull request's merge branch is: ${MERGE_BRANCH}"
+echo "Pull request's source branch is: ${GITHUB_HEAD_REF}"
+
+# The checkout action leaves us in detatched head state. The following line
+# names the checked out commit, for simpler reference later.
+git checkout -b ${MERGE_BRANCH}
+
+# Make sure we can refer to ${BASE_BRANCH} by name
+git checkout ${BASE_BRANCH}
+git checkout ${MERGE_BRANCH}
+
+# Find the commit on which the PR is based.
+MERGE_BASE=$(git merge-base ${BASE_BRANCH} ${MERGE_BRANCH})
+echo "Checking standards of code touched since $MERGE_BASE"
+
+# Do the checking.
+script_folder='./scripts'
+$script_folder/run_diff.sh CPPLINT $MERGE_BASE

.github/workflows/pull-request-checks.yaml

@@ -144,3 +144,24 @@ jobs:
           BASE_BRANCH: ${{ github.base_ref }}
           MERGE_BRANCH: ${{ github.ref }}
         run: ./.github/workflows/pull-request-check-clang-format.sh
+
+  check-cpplint:
+    runs-on: ubuntu-20.04
+    steps:
+      - uses: actions/checkout@v2
+        with:
+          submodules: true
+          fetch-depth: 0
+      - name: Fetch dependencies
+        env:
+          # This is needed in addition to -yq to prevent apt-get from asking for
+          # user input
+          DEBIAN_FRONTEND: noninteractive
+        run: |
+          sudo apt-get install -yq pip
+          pip install unidiff
+      - name: Check updated lines of code match clang-format-7 style
+        env:
+          BASE_BRANCH: ${{ github.base_ref }}
+          MERGE_BRANCH: ${{ github.ref }}
+        run: ./.github/workflows/pull-request-check-cpplint.sh