]> https://gitweb.dealii.org/ - dealii.git/commitdiff
projects / dealii.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: 24c2881)
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 patch | blob | history

diff --git a/.github/workflows/docker.yml b/.github/workflows/docker.yml
index 3885ea87e056d7c10a681cf32b42d73ea7cc3348..57a444d6c4c8eeceb62fedfefa627b35221e1481 100644 (file)
--- a/.github/workflows/docker.yml
+++ b/.github/workflows/docker.yml
@@ -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
Mirror of the development repository for deal.II

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.