Fix filename typo, remove custom registry build step (#37)

There was one more spot that was overlooked where the custom registry can be removed now.
QEDjl-project · Nov 13, 2023 · 152f71e · 152f71e
1 parent 1946d84
commit 152f71e
Showing 1 changed file with 0 additions and 4 deletions.
diff --git a/.github/workflows/BuildDelopyDoc.yml → .github/workflows/BuildDeployDoc.yml b/.github/workflows/BuildDelopyDoc.yml → .github/workflows/BuildDeployDoc.yml
@@ -19,10 +19,6 @@ jobs:
       - uses: julia-actions/setup-julia@v1
         with:
           version: '1.9'
-      - name: Add custom registry 
-        run: |
-          julia --project=docs/ -e 'import Pkg; Pkg.Registry.add(Pkg.RegistrySpec(url="https://github.com/QEDjl-project/registry.git"));'
-          julia --project=docs/ -e 'import Pkg; Pkg.Registry.add(Pkg.RegistrySpec(url="https://github.com/JuliaRegistries/General"));'
       - name: Install dependencies
         run: julia --project=docs/ -e 'using Pkg; Pkg.develop(PackageSpec(path=pwd())); Pkg.instantiate()'
       - name: Build and deploy