From 28d2ee7186ce421e3b5b11f8686900318d6112ed Mon Sep 17 00:00:00 2001
From: Matthias Benkort <5680256+KtorZ@users.noreply.github.com>
Date: Tue, 16 Jul 2024 17:13:49 +0200
Subject: [PATCH] Delete examples/benchmarks/.github/workflows/tests.yml

---
 .../benchmarks/.github/workflows/tests.yml    | 20 -------------------
 1 file changed, 20 deletions(-)
 delete mode 100644 examples/benchmarks/.github/workflows/tests.yml

diff --git a/examples/benchmarks/.github/workflows/tests.yml b/examples/benchmarks/.github/workflows/tests.yml
deleted file mode 100644
index 89136858..00000000
--- a/examples/benchmarks/.github/workflows/tests.yml
+++ /dev/null
@@ -1,20 +0,0 @@
-name: Tests
-
-on:
-  push:
-    branches: ["main"]
-  pull_request:
-
-jobs:
-  build:
-    runs-on: ubuntu-latest
-    steps:
-      - uses: actions/checkout@v3
-
-      - uses: aiken-lang/setup-aiken@v0.1.0
-        with:
-          version: v1
-
-      - run: aiken fmt --check
-      - run: aiken check -D
-      - run: aiken build