diff --git a/.github/workflows/build-and-test-Xen.yaml b/.github/workflows/build-and-test-Xen.yaml
index 4ac4cdbbb1b..57699e7afc9 100644
--- a/.github/workflows/build-and-test-Xen.yaml
+++ b/.github/workflows/build-and-test-Xen.yaml
@@ -49,7 +49,7 @@ jobs:
         run: git clone -b path-addition https://github.com/awslabs/one-line-scan.git
 
       - name: Get Xen 4.13
-        run: git clone git://xenbits.xen.org/xen.git xen_4_13 && cd xen_4_13 && git reset --hard RELEASE-4.13.0 && pwd
+        run: git clone -b stable-4.13 --depth=1 https://github.com/xen-project/xen xen_4_13
 
       - name: Prepare compile Xen with CBMC via one-line-scan
         run: |