From 4cf1590b9d6d9ae75449c4ad2c6c84a9d5fe0a13 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Beno=C3=AEt=20Legat?= <benoit.legat@gmail.com>
Date: Sun, 12 Apr 2026 19:46:23 +0200
Subject: [PATCH] Remove CompatHelper

---
 .github/workflows/documentation.yml | 23 -----------------------
 1 file changed, 23 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 444f7a95..00000000
--- a/.github/workflows/documentation.yml
+++ /dev/null
@@ -1,23 +0,0 @@
-name: Documentation
-on:
-  push:
-    branches: [main]
-    tags: '*'
-  pull_request:
-    types: [opened, synchronize, reopened]
-jobs:
-  build:
-    runs-on: ubuntu-latest
-    steps:
-      - uses: actions/checkout@v6
-      - uses: julia-actions/setup-julia@latest
-        with:
-          # Build documentation on latest release
-          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
-          DOCUMENTER_KEY: ${{ secrets.DOCUMENTER_KEY }} # For authentication with SSH deploy key
-        run: julia --project=docs/ docs/make.jl