From 7582a6e41317366980a60963025fe5dfb12613de Mon Sep 17 00:00:00 2001
From: Gaetan Lepage <gaetan@glepage.com>
Date: Sat, 6 Jan 2024 17:34:39 +0100
Subject: [PATCH] ci/check: remove (it is now empty)

---
 .github/workflows/check.yml | 21 ---------------------
 1 file changed, 21 deletions(-)
 delete mode 100644 .github/workflows/check.yml

diff --git a/.github/workflows/check.yml b/.github/workflows/check.yml
deleted file mode 100644
index 5ad83d97d..000000000
--- a/.github/workflows/check.yml
+++ /dev/null
@@ -1,21 +0,0 @@
-name: Run checks on code
-
-on:
-  pull_request:
-  push:
-
-jobs:
-  check:
-    name: Check that the module is valid
-    runs-on: ubuntu-latest
-    timeout-minutes: 40
-    steps:
-      - uses: actions/checkout@v4
-      - uses: cachix/install-nix-action@v20
-        with:
-          nix_path: nixpkgs=channel:nixos-unstable
-          github_access_token: ${{ secrets.GITHUB_TOKEN }}
-      - uses: cachix/cachix-action@v13
-        with:
-          name: nix-community
-          authToken: '${{ secrets.CACHIX_AUTH_TOKEN }}'