From: David Wells <drwells@email.unc.edu>
Date: Tue, 8 Nov 2022 22:52:48 +0000 (-0500)
Subject: CI: Update backports.
X-Git-Tag: v9.5.0-rc1~868^2
X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=refs%2Fpull%2F14404%2Fhead;p=dealii.git

CI: Update backports.

We may as well use the most recent dependency backports.
---

diff --git a/.github/workflows/linux.yml b/.github/workflows/linux.yml
index 7c80f7aa56..a17d714d35 100644
--- a/.github/workflows/linux.yml
+++ b/.github/workflows/linux.yml
@@ -61,7 +61,7 @@ jobs:
     - name: modules
       run: |
         sudo apt-get install -y software-properties-common
-        sudo add-apt-repository -y ppa:ginggs/deal.ii-9.3.0-backports
+        sudo add-apt-repository -y ppa:ginggs/deal.ii-9.4.0-backports
         sudo apt-get update
         sudo apt-get install -yq --no-install-recommends \
             numdiff \
@@ -135,7 +135,7 @@ jobs:
         sudo apt-key adv --fetch-keys https://developer.download.nvidia.com/compute/cuda/repos/ubuntu2004/x86_64/3bf863cc.pub
         sudo add-apt-repository "deb http://developer.download.nvidia.com/compute/cuda/repos/ubuntu2004/x86_64/ /"
         sudo apt-get install -y software-properties-common
-        sudo add-apt-repository ppa:ginggs/deal.ii-9.2.0-backports
+        sudo add-apt-repository ppa:ginggs/deal.ii-9.4.0-backports
         sudo apt-get update
         sudo apt-get install -yq --no-install-recommends \
             cuda-toolkit-11-0 \