From ed677f595de93dff791553fc284d5961dfc72818 Mon Sep 17 00:00:00 2001
From: Thomas Madlener <thomas.madlener@desy.de>
Date: Fri, 13 Dec 2024 14:01:18 +0100
Subject: [PATCH] Check if we can get to opensource.org via curl

---
 .github/workflows/build.yml | 9 +++++++++
 1 file changed, 9 insertions(+)

diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
index b6fa487..fee4fff 100644
--- a/.github/workflows/build.yml
+++ b/.github/workflows/build.yml
@@ -12,6 +12,15 @@ jobs:
     - uses: actions/setup-python@v5
       with:
         python-version: 3.12
+    - name: Try curl to get to opensource.org
+      run: |
+        curl -I https://opensource.org/ \
+          --http1.1 \
+          -H "User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:100.0) Gecko/20100101 Firefox/100.0 Sphinx/7.2.6" \
+          -H "Accept-Encoding: gzip, deflate" \
+          -H "Accept: */*" \
+          -H "Connection: keep-alive"
+
     - name: Install Requirements
       run: |
         pip install --upgrade pip