]> https://gitweb.dealii.org/ - dealii.git/commitdiff
Use latest ubuntu image in docker.yml. 15092/head
authorMarc Fehling <mafehling.git@gmail.com>
Thu, 13 Apr 2023 20:22:28 +0000 (14:22 -0600)
committerMarc Fehling <mafehling.git@gmail.com>
Thu, 13 Apr 2023 20:22:43 +0000 (14:22 -0600)
OS of the host system is not important.

.github/workflows/docker.yml

index 3885ea87e056d7c10a681cf32b42d73ea7cc3348..57a444d6c4c8eeceb62fedfefa627b35221e1481 100644 (file)
@@ -12,7 +12,7 @@ permissions:
 
 jobs:
   build-master-docker:
-    runs-on: ubuntu-20.4
+    runs-on: ubuntu-latest
     steps:          
       - name: Checkout code
         uses: actions/checkout@v3

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.