From fd4e04de1255c0f8afd9cc5b94603d2befce7107 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Benedikt=20R=C3=B6tsch?= <benedikt@hashbite.net>
Date: Tue, 19 Dec 2023 20:06:11 +0100
Subject: [PATCH] ci: remove extra build of docs - will be built in regular
 build anyways

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

diff --git a/.github/workflows/docs.yml b/.github/workflows/docs.yml
deleted file mode 100644
index 1f70c28c..00000000
--- a/.github/workflows/docs.yml
+++ /dev/null
@@ -1,25 +0,0 @@
-name: Docs
-on:
-  push:
-jobs:
-  build:
-    runs-on: ubuntu-latest
-
-    steps:
-      - uses: actions/checkout@v4
-        with:
-          fetch-depth: 0
-
-      - name: Use Node.js 18.x
-        uses: actions/setup-node@v4
-        with:
-          node-version: 18.x
-
-      - name: Install deps and build (with cache)
-        uses: bahmutov/npm-install@v1
-
-      - name: Build docs
-        working-directory: packages/docs
-        run: yarn build
-
-