]> https://gitweb.dealii.org/ - dealii.git/commitdiff
CI: Update backports. 14404/head
authorDavid Wells <drwells@email.unc.edu>
Tue, 8 Nov 2022 22:52:48 +0000 (17:52 -0500)
committerDavid Wells <drwells@email.unc.edu>
Tue, 8 Nov 2022 22:53:45 +0000 (17:53 -0500)
We may as well use the most recent dependency backports.

.github/workflows/linux.yml

index 7c80f7aa56e3923d331d84245e58048efcf2e3a6..a17d714d35ab9a4c421cc50ccdef21d3cac050e6 100644 (file)
@@ -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 \

In the beginning the Universe was created. This has made a lot of people very angry and has been widely regarded as a bad move.

Douglas Adams


Typeset in Trocchi and Trocchi Bold Sans Serif.