From 592b80ac03a494c64b2d0ae584d54f56dbd1a96e Mon Sep 17 00:00:00 2001
From: Erwin van Eijk <235739+erwinvaneijk@users.noreply.github.com>
Date: Tue, 7 Nov 2023 18:03:56 +0100
Subject: [PATCH] chore(build): Add extra builder

Sometimes the ubuntu-latest builder misses things that are different on
older runners, so include an older runner just to be sure.
---
 .github/workflows/build.yml | 19 ++++++++-----------
 1 file changed, 8 insertions(+), 11 deletions(-)

diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
index e754d60..b9429c0 100644
--- a/.github/workflows/build.yml
+++ b/.github/workflows/build.yml
@@ -1,10 +1,7 @@
 name: Rust Build
-
-on: [ push,  pull_request ]
-
+on: [push, pull_request]
 env:
   CARGO_TERM_COLOR: always
-
 jobs:
   cargo-deny:
     runs-on: ubuntu-latest
@@ -20,11 +17,11 @@ jobs:
     runs-on: ${{ matrix.os }}
     strategy:
       matrix:
-        os: [ubuntu-latest, macos-latest, windows-latest]
-
+        os: [ubuntu-latest, ubuntu-20.04, macos-latest, windows-latest]
     steps:
-    - uses: actions/checkout@v3
-    - name: Build
-      run: cargo build --verbose
-    - name: Run tests
-      run: cargo test --verbose
+      - uses: actions/checkout@v3
+      - name: Build
+        run: cargo build --verbose
+      - name: Run tests
+        run: cargo test --verbose
+