Merge branch 'topic/github-actions' into 'master'

Remove deprecated ubuntu-20.04 runner for GitHub workflow

See merge request eng/ide/ada_language_server!2006

Author: eliericha

Diff for: .github/workflows/build-binaries.yml

@@ -20,7 +20,7 @@ jobs:
     strategy:
       fail-fast: false
       matrix:
-        os: [macos-13, macos-14, ubuntu-20.04, ubuntu-22.04-arm, windows-latest]
+        os: [macos-13, macos-14, ubuntu-22.04, ubuntu-22.04-arm, windows-latest]
     runs-on: ${{ matrix.os }}
     steps:
       - name: Setup Python