Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
try using ubuntu-20.04 runner image instead of ubuntu-latest, since t…
…hat changed to ubuntu-22 in dec 2023 actions/runner-images#6399
- Loading branch information