Fix eiffel workflow?

JanEricNitschke · Jul 20, 2024 · e6a7bd1 · e6a7bd1
1 parent a1b316e
commit e6a7bd1
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/.github/workflows/eiffel.yaml b/.github/workflows/eiffel.yaml
@@ -20,6 +20,7 @@ jobs:
     - name: Install Eiffel
       run: |
         echo "deb [trusted=yes] http://apt.liberty-eiffel.org/ release main" | sudo tee -a /etc/apt/sources.list
+        echo "deb [trusted=yes] http://gb.archive.ubuntu.com/ubuntu xenial-updates main" | sudo tee -a /etc/apt/sources.list
         sudo apt-get update
         sudo apt-get install liberty-eiffel-all
     - name: Compile