Merge pull request #1234 from creativecommons/gh-actions

replace circle ci with github actions

Author: TimidRobot

.circleci/config.yml

@@ -0,0 +1,27 @@
+name: lint
+
+on:
+  pull_request:
+  push:
+    branches: [main]
+  workflow_dispatch:
+
+jobs:
+  tidy:
+    runs-on: ubuntu-latest
+
+    steps:
+
+    - name: Install system dependencies
+      env:
+        DEBIAN_FRONTEND: noninteractive
+      run: |
+        sudo apt-get update
+        sudo apt-get install -y tidy
+
+    # https://github.com/actions/checkout
+    - uses: actions/checkout@v2
+
+    - name: Tidy Legal Code
+      run: |
+        ./tools/tidy_legalcode.sh

.github/workflows/tidy.yml

@@ -0,0 +1,12 @@
+#!/bin/bash
+set -o nounset
+set -o pipefail
+
+tidy -errors -quiet -utf8 --show-filename yes --show-warnings no \
+    docroot/legalcode/*.html \
+    2>&1 | sed -e'/^Tidy: /d'
+case ${?} in
+    2) exit 2;; # errors
+    1) exit 0;; # warning (ignored)
+    0) exit 0;; # success
+esac