From 87b36a69cf8c9eb6fbb8375d7bd7a1794ed976fe Mon Sep 17 00:00:00 2001
From: Trask Stalnaker <trask.stalnaker@gmail.com>
Date: Thu, 11 Jul 2024 08:31:10 -0700
Subject: [PATCH] Migrate CircleCI to GitHub Actions (#262)

---
 .github/workflows/build.yml | 36 ++++++++++++++++++++++++++++++++++++
 1 file changed, 36 insertions(+)
 create mode 100644 .github/workflows/build.yml

diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
new file mode 100644
index 000000000..4dee6f35e
--- /dev/null
+++ b/.github/workflows/build.yml
@@ -0,0 +1,36 @@
+name: Build
+
+on:
+  push:
+    branches:
+      - main
+  pull_request:
+
+jobs:
+  misspell:
+    runs-on: ubuntu-latest
+    steps:
+      - uses: actions/checkout@v4
+
+      - name: Misspell Install
+        run: make install-misspell
+
+      - name: Misspell check
+        run: make misspell
+
+  markdownlint:
+    runs-on: ubuntu-latest
+    steps:
+      - uses: actions/checkout@v4
+
+      - name: Install Tools
+        run: |
+          make install-markdown-lint
+          make install-markdown-link-check
+
+      - name: Run Tools
+        run: |
+          make markdown-lint
+          # Disabled for the moment because too many requests to github.com
+          # and we receive errors for valid links.
+          # make enforce-markdown-link-check