Rollback make-badges to include Ubuntu 14.04 (#349)

Author: lo-simon

.github/workflows/build-test.yml

@@ -1075,8 +1075,8 @@ jobs:
 
     - name: make badges
       run: |
-        # combine badges from all builds, exclude macos-11 and ubuntu-14.04
-        ${{ github.workspace }}/Sandbox/make_badges.sh ${{ github.workspace }} ${{ runner.workspace }}/artifacts macos-11 ubuntu-14.04
+        # combine badges from all builds, exclude macos-11
+        ${{ github.workspace }}/Sandbox/make_badges.sh ${{ github.workspace }} ${{ runner.workspace }}/artifacts macos-11
 
         # force push to github onto an orphan 'badges' branch
         cd ${{ github.workspace }}

.github/workflows/src/build-test.yml

@@ -175,8 +175,8 @@ jobs:
 
     - name: make badges
       run: |
-        # combine badges from all builds, exclude macos-11 and ubuntu-14.04
-        ${{ github.workspace }}/Sandbox/make_badges.sh ${{ github.workspace }} ${{ runner.workspace }}/artifacts macos-11 ubuntu-14.04
+        # combine badges from all builds, exclude macos-11
+        ${{ github.workspace }}/Sandbox/make_badges.sh ${{ github.workspace }} ${{ runner.workspace }}/artifacts macos-11
 
         # force push to github onto an orphan 'badges' branch
         cd ${{ github.workspace }}