From 4267f9e95120718ba540c3b092e46a58e6b529ee Mon Sep 17 00:00:00 2001
From: Vinzenz Schroeter <vinzenz.f.s@gmail.com>
Date: Tue, 11 Nov 2025 16:45:46 +0100
Subject: [PATCH] remove check

---
 check | 6 ------
 1 file changed, 6 deletions(-)
 delete mode 100755 check

diff --git a/check b/check
deleted file mode 100755
index 1760cfe..0000000
--- a/check
+++ /dev/null
@@ -1,6 +0,0 @@
-#!/usr/bin/env bash
-set -euxo pipefail
-
-nix fmt
-
-nix flake check --show-trace