From e339545e581e47677637392cf47bde62d01f0503 Mon Sep 17 00:00:00 2001
From: Benedict Geihe <bgeihe@uni-koeln.de>
Date: Thu, 18 Jul 2024 16:27:48 +0200
Subject: [PATCH] Revert "Fix CompatHelper with copy from libtrixi"

This reverts commit 96a321c255564fb0dafa3a82846d694c97109cf9.
---
 .github/workflows/CompatHelper.yml | 25 +++----------------------
 1 file changed, 3 insertions(+), 22 deletions(-)

diff --git a/.github/workflows/CompatHelper.yml b/.github/workflows/CompatHelper.yml
index aea2515..7435ec9 100644
--- a/.github/workflows/CompatHelper.yml
+++ b/.github/workflows/CompatHelper.yml
@@ -8,30 +8,12 @@ jobs:
   CompatHelper:
     runs-on: ubuntu-latest
     steps:
-      - name: Check if Julia is already available in the PATH
-        id: julia_in_path
-        run: which julia
-        continue-on-error: true
-      - name: Install Julia, but only if it is not already available in the PATH
-        uses: julia-actions/setup-julia@v2
-        with:
-          version: '1'
-          arch: ${{ runner.arch }}
-        if: steps.julia_in_path.outcome != 'success'
-      - name: "Add the General registry via Git"
+      - name: "Add CompatHelper"
         run: |
           import Pkg
-          ENV["JULIA_PKG_SERVER"] = ""
-          Pkg.Registry.add("General")
-        shell: julia --color=yes {0}
-      - name: "Install CompatHelper"
-        run: |
-          import Pkg
-          name = "CompatHelper"
-          uuid = "aa819f21-2bde-4658-8897-bab36330d9b7"
-          version = "3"
-          Pkg.add(; name, uuid, version)
+          Pkg.add("CompatHelper")
         shell: julia --color=yes {0}
+
       - name: "Run CompatHelper"
         run: |
           import CompatHelper
@@ -40,4 +22,3 @@ jobs:
         env:
           GITHUB_TOKEN: ${{ secrets.DOCUMENTER_KEY }}
           COMPATHELPER_PRIV: ${{ secrets.DOCUMENTER_KEY }}
-          # COMPATHELPER_PRIV: ${{ secrets.COMPATHELPER_PRIV }}