Use ubuntu-latest for GitHub CI actions.

ubuntu-18.04 is no longer available and switching to latest avoids having to update this in the future.
CTSRD-CHERI · Apr 14, 2023 · 9ef204a · 9ef204a
1 parent 81fb0b3
commit 9ef204a
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/.github/workflows/compile.yml b/.github/workflows/compile.yml
@@ -11,7 +11,7 @@ env:
 
 jobs:
   build:
-    runs-on: [ubuntu-20.04]
+    runs-on: [ubuntu-latest]
     steps:
     - uses: actions/checkout@v3
     - name: Basic checks
@@ -29,7 +29,7 @@ jobs:
   draft-release:
     if: github.event_name == 'push' && github.ref == 'refs/heads/main'
     needs: build
-    runs-on: [ubuntu-18.04]
+    runs-on: [ubuntu-latest]
     steps:
     - name: Download artifact
       uses: actions/download-artifact@master