From 1bdd31e8bcfad628434b0227eb9f2f6205642566 Mon Sep 17 00:00:00 2001
From: Robert Lefringhausen <robert.lefringhausen@tum.de>
Date: Wed, 8 May 2024 10:26:54 +0200
Subject: [PATCH] Updated CI.

---
 .github/workflows/ci.yml | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index d89c2ac..9209848 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -1,10 +1,12 @@
 name: CI
+
 on:
   push:
     branches:
       - main
     tags: '*'
   pull_request:
+
 jobs:
   build:
     permissions:
@@ -19,7 +21,7 @@ jobs:
           version: '1.10'
       - uses: julia-actions/cache@v1
       - name: Install dependencies
-        run: julia --project=docs/ -e 'using Pkg; Pkg.develop(PackageSpec(path="Julia")); Pkg.instantiate()'
+        run: julia --project=docs/ -e 'using Pkg; Pkg.activate("./Julia"); Pkg.instantiate()'
       - name: Build and deploy
         env:
           GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }} # If authenticating with GitHub Actions token