VB28-039 Update GitHub CI to Ubuntu 20.04

AdaCore · Nov 28, 2022 · 9ae2bbc · 9ae2bbc
1 parent 9738808
commit 9ae2bbc
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/build-binaries.yml b/.github/workflows/build-binaries.yml
@@ -17,7 +17,7 @@ jobs:
       fail-fast: false
       matrix: # Build debug and production
         debug: ['', 'debug']      # '' if production, 'debug' for debug
-        os: [macos-11, ubuntu-18.04, windows-latest]
+        os: [macos-11, ubuntu-20.04, windows-latest]
     runs-on: ${{ matrix.os }}
     steps:
       - run: git config --global core.autocrlf input