--- a/.github/workflows/run_tests_in_docker.yml	Mon Dec 05 15:53:25 2022 +0100
+++ b/.github/workflows/run_tests_in_docker.yml	Tue Dec 13 22:04:16 2022 +0100
@@ -8,7 +8,7 @@
 
   build:
 
-    runs-on: ubuntu-latest
+    runs-on: ubuntu-20.04
 
     steps:
     - uses: actions/checkout@v3