search

runtimeverification / llvm-backend

KORE to llvm translation
BSD 3-Clause "New" or "Revised" License
34 stars 19 forks source link

Move simple CI jobs to latest Ubuntu version #1091

Closed Baltoli closed 1 month ago

Baltoli commented 1 month ago

These jobs were previously running on an old version of Ubuntu, the image for which will be deprecated at some point. This PR just bumps them to use a newer version; the jobs aren't interacting with the OS in any meaningful way so this won't be a breaking change.

Baltoli commented 1 month ago

I'll sort the branch protection rule here and merge when the other CI checks have all passed.