Merge branch 'main' into continuous_integration

Clemapfel · Oct 21, 2023 · 41042e2 · 41042e2
2 parents 9b29b77 + 28567f9
commit 41042e2
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/.github/workflows/CI.yml b/.github/workflows/CI.yml
@@ -45,4 +45,5 @@ jobs:
         - name: Install Mousetrap
           run: julia --color=yes -e "import Pkg; Pkg.add(url=\"https://github.com/clemapfel/mousetrap_jll\"); Pkg.add(url=\"https://github.com/clemapfel/mousetrap.jl\")"
         - name: Build Docs
-          run: julia docs/make.jl
+          run: julia docs/make.jl
+