Update job name in github actions. (#1721)

.github/workflows/continuous.yml

@@ -20,7 +20,7 @@ jobs:
   ####################
 
   Unix:
-    name: ${{ matrix.name }} (${{ matrix.config }}, ${{ matrix.static }})
+    name: ${{ matrix.name }} (${{ matrix.config }}, ${{ fromJSON('["Static", "HeaderOnly"]')[matrix.static == 'ON'] }})
     runs-on: ${{ matrix.os }}
     strategy:
       fail-fast: false
@@ -94,6 +94,7 @@ jobs:
   ####################
 
   Windows:
+    name: Windows (${{ matrix.config }}, ${{ fromJSON('["Static", "HeaderOnly"]')[matrix.static == 'ON'] }})
     runs-on: windows-2019
     env:
       CC: cl.exe

.github/workflows/nightly.yml

@@ -17,7 +17,7 @@ jobs:
   # https://github.com/onqtam/doctest/blob/dev/.github/workflows/main.yml
 
   Unix:
-    name: ${{ matrix.name }} (${{ matrix.config }}, Static=${{ matrix.static }})
+    name: ${{ matrix.name }} (${{ matrix.config }}, ${{ fromJSON('["Static", "HeaderOnly"]')[matrix.static == 'ON'] }})
     runs-on: ${{ matrix.os }}
     strategy:
       fail-fast: false
@@ -140,7 +140,7 @@ jobs:
   ####################
 
   Windows:
-    name: Windows (${{ matrix.config }}, Static=${{ matrix.static }})
+    name: Windows (${{ matrix.config }}, ${{ fromJSON('["Static", "HeaderOnly"]')[matrix.static == 'ON'] }})
     runs-on: windows-2019
     env:
       CC: cl.exe