From 30c54b209e3917f5697eff60e393ad1e7c284b79 Mon Sep 17 00:00:00 2001
From: Anant Thazhemadam <47104651+thazhemadam@users.noreply.github.com>
Date: Wed, 10 Jul 2024 17:15:16 +0200
Subject: [PATCH] ci(docs): remove documentation workflow from GHA

Since documentation is now built on buildkite (as of c12fc24), remove
the GitHub Actions workflow and don't unnecessarily run the doc
builds again.
---
 .github/workflows/documentation.yml | 30 -----------------------------
 1 file changed, 30 deletions(-)
 delete mode 100644 .github/workflows/documentation.yml

diff --git a/.github/workflows/documentation.yml b/.github/workflows/documentation.yml
deleted file mode 100644
index 9dc355a..0000000
--- a/.github/workflows/documentation.yml
+++ /dev/null
@@ -1,30 +0,0 @@
-name: Documentation
-
-on:
-  push:
-    branches:
-      - main
-    tags: '*'
-  pull_request:
-  schedule:
-    - cron: '41 0 * * 5'
-jobs:
-  build:
-    runs-on: ubuntu-latest
-    steps:
-      - uses: actions/checkout@v4
-      - uses: julia-actions/setup-julia@latest
-        with:
-          version: '1'
-      - name: Install dependencies
-        run: julia --project=docs/ -e 'using Pkg; Pkg.develop(PackageSpec(path=pwd())); Pkg.instantiate()'
-      - name: Build and deploy
-        env:
-          GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }} # For authentication with GitHub Actions token
-        run: julia --project=docs/ --code-coverage=user docs/make.jl
-      - uses: julia-actions/julia-processcoverage@v1
-      - uses: codecov/codecov-action@v4
-        with:
-          file: lcov.info
-          token: ${{ secrets.CODECOV_TOKEN }}
-          fail_ci_if_error: true