bjorn3 f845eafc2f 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 #1303		2022-12-02 21:57:04 +01:00
..
workflows	Switch Linux runner to ubuntu-20.04 to unbreak CI	2022-12-02 21:57:04 +01:00