ci: use https instead of git protocol

rigetti · Nov 15, 2023 · deab064 · deab064
1 parent 84499b7
commit deab064
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
@@ -33,7 +33,7 @@ jobs:
         name: Install SBCL, libraries, and quicklisp
         run: |
           sudo apt update && sudo apt install -y sbcl build-essential
-          sudo git clone --single-branch --branch sbcl-2.2.4 git://git.code.sf.net/p/sbcl/sbcl /usr/src/sbcl
+          sudo git clone --single-branch --branch sbcl-2.2.4 https://git.code.sf.net/p/sbcl/sbcl /usr/src/sbcl
           cd /usr/src/sbcl && sudo sh make.sh && sudo sh make-shared-library.sh
           sudo apt remove -y sbcl
           sudo sh install.sh 
@@ -110,7 +110,7 @@ jobs:
         name: Install SBCL, libraries, and quicklisp
         run: |
           brew install sbcl git
-          git clone --branch x86-null-tn git://git.code.sf.net/p/sbcl/sbcl /tmp/sbcl
+          git clone --branch x86-null-tn https://git.code.sf.net/p/sbcl/sbcl /tmp/sbcl
           cd /tmp/sbcl && sudo sh make.sh --without-compact-instance-header --without-immobile-space --without-immobile-code && sudo sh make-shared-library.sh
           brew remove -f sbcl
           sudo sh install.sh