Migrate from CircleCI to GitHub Actions

radian-software · Mar 19, 2022 · c5295a9 · c5295a9
1 parent 3dbcef3
commit c5295a9
Show file tree

Hide file tree

Showing 3 changed files with 24 additions and 36 deletions.
diff --git a/.circleci/config.yml b/.circleci/config.yml
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -0,0 +1,16 @@
+name: CI
+on: [push, pull_request]
+jobs:
+  ci:
+    runs-on: ubuntu-latest
+    strategy:
+      matrix:
+        emacs_version: [25, 26, 27, master]
+    steps:
+      - name: Checkout
+        uses: actions/checkout@v2
+      - name: CI
+        env:
+          VERSION: ${{ matrix.emacs_version }}
+        run: >-
+          make docker CMD="make -k compile checkdoc longlines"
diff --git a/scripts/docker.bash b/scripts/docker.bash
@@ -22,4 +22,11 @@ docker build . -t "prescient.el:$tag" \
        --build-arg "UID=$UID"        \
        --build-arg "VERSION=$tag"
 
-docker run -it --rm -v "$PWD:/home/docker/src" "prescient.el:$tag" "${args[@]}"
+it=()
+
+if [[ -t 0 ]]; then
+    it+=(-it)
+fi
+
+docker run "${it[@]}" --rm -v "$PWD:/home/docker/src" \
+       "prescient.el:$tag" "${args[@]}"