Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Switch Linux runner to ubuntu-20.04 to unbreak CI
Earlier today CI started to fail on Linux with a crash during the jit mode. Turns out ubuntu-latest switched from ubuntu-20.04 to ubuntu-22.04. Let's switch back to ubuntu-20.04 for now to unbreak CI until I figured out the root cause. cc rust-lang#1303
- Loading branch information