# HG changeset patch
# User etisserant <edouard.tisserant@gmail.com>
# Date 1670965456 -3600
# Node ID ddadbdf20e702529a682010636fdd4961f35f22b
# Parent  a89ebe406e35cb65541957586a9e18b12739cf53
GH CI: try reverting to previous version of ubuntu

diff -r a89ebe406e35 -r ddadbdf20e70 .github/workflows/run_tests_in_docker.yml
--- 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