From a70dc1c70335733c1fb816152ae7b92d6b2e8f7f Mon Sep 17 00:00:00 2001
From: Christian Segundo
Date: Sun, 30 Apr 2023 23:53:34 +0200
Subject: Remove github cruft

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

(limited to '.github/workflows')

diff --git a/.github/workflows/benchmark.yml b/.github/workflows/benchmark.yml
deleted file mode 100644
index f8dbc2b..0000000
--- a/.github/workflows/benchmark.yml
+++ /dev/null
@@ -1,21 +0,0 @@
----
-name: Run benchmarks
-
-on:
-  workflow_dispatch:
-
-jobs:
-  update:
-    runs-on: ubuntu-latest
-    steps:
-      - uses: actions/checkout@v3
-        with:
-          ref: ${{ github.ref }}
-          fetch-depth: 0
-      - run: make docker-benchmark
-      - run: |
-          git config user.email 'actions@github.com'
-          git config user.name 'github-actions'
-          if git commit -am ':robot: Update README.md'; then
-            git push origin HEAD:${{ github.ref }}
-          fi
-- 
cgit v1.2.3