# HG changeset patch
# User Edouard Tisserant <edouard.tisserant@gmail.com>
# Date 1671112445 -3600
# Node ID 302492568cf4a8b466edb150442f3e8f5b6eca4a
# Parent  ddadbdf20e702529a682010636fdd4961f35f22b
Backed out changeset ddadbdf20e70, no effect on current problem.

diff -r ddadbdf20e70 -r 302492568cf4 .github/workflows/run_tests_in_docker.yml
--- a/.github/workflows/run_tests_in_docker.yml	Tue Dec 13 22:04:16 2022 +0100
+++ b/.github/workflows/run_tests_in_docker.yml	Thu Dec 15 14:54:05 2022 +0100
@@ -8,7 +8,7 @@
 
   build:
 
-    runs-on: ubuntu-20.04
+    runs-on: ubuntu-latest
 
     steps:
     - uses: actions/checkout@v3