From 652a5077459132a629405717e7c1c812bb930d3f Mon Sep 17 00:00:00 2001
From: Pedro Alves <pta2002@pta2002.com>
Date: Mon, 20 Feb 2023 16:23:47 +0000
Subject: [PATCH] ci: add checks

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

diff --git a/.github/workflows/check.yml b/.github/workflows/check.yml
new file mode 100644
index 00000000..df17f693
--- /dev/null
+++ b/.github/workflows/check.yml
@@ -0,0 +1,19 @@
+name: Run checks on code
+
+on:
+  push:
+    branches: [ '!gh-pages' ]
+  pull_request:
+    branches: [ '!gh-pages' ]
+
+jobs:
+  check:
+    name: Check that the module is valid
+    runs-on: ubuntu-latest
+    steps:
+      - uses: actions/checkout@v3
+      - uses: cachix/install-nix-action@v19
+        with:
+          github_access_token: ${{ secrets.GITHUB_TOKEN }}
+      - run: nix flake check
+      - run: nix fmt -- -c .