From 3323fe9f975214147c1fb8c59097137bffef55ca Mon Sep 17 00:00:00 2001 From: Michael Tautschnig Date: Sun, 30 Nov 2025 15:11:24 +0000 Subject: [PATCH] Fix Xen CI job by moving to GitHub mirror git://xenbits.xen.org/xen.git appears to be working fine from my local host, but maybe the (plaintext) git protocol is being blocked somewhere. Use GitHub's mirror of the Xen project instead. --- .github/workflows/build-and-test-Xen.yaml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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: |