Downgrade Ubuntu to Jammy Jellyfish (IronLanguages#1867)

* Downgrade Ubuntu to 22.04.5

* Downgrade Ubuntu to 22.04

Author: BCSharp

.github/workflows/main.yml

@@ -10,11 +10,11 @@ jobs:
     strategy:
       fail-fast: false
       matrix:
-        os: [windows-latest, ubuntu-latest, macos-latest-large]
+        os: [windows-latest, ubuntu-22.04, macos-latest-large]
 
     steps:
     - name: Install tools
-      if: matrix.os == 'ubuntu-latest'
+      if: matrix.os == 'ubuntu-22.04'
       run: sudo apt-get -yq install mono-vbnc dos2unix
     - uses: actions/checkout@v4
       with: