]> https://gitweb.dealii.org/ - dealii.git/commitdiff
Include OS version in Windows job name. 18166/head
authorMarc Fehling <mafehling.git@gmail.com>
Tue, 25 Feb 2025 18:09:32 +0000 (19:09 +0100)
committerMarc Fehling <mafehling.git@gmail.com>
Tue, 25 Feb 2025 18:09:32 +0000 (19:09 +0100)
.github/workflows/windows.yml

index 699e805a6c524148c1468dfa97f319963fb524b7..35caa8ac635eb50fec927329e18e7a617a389b41 100644 (file)
@@ -25,8 +25,8 @@ env:
 jobs:
   windows-serial:
     # Serial build on Windows
-    #
-    name: Windows Serial
+
+    name: ${{ matrix.os }} serial
     runs-on: ${{ matrix.os }}
 
     #

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.