Backed out changeset ddadbdf20e70, no effect on current problem.
authorEdouard Tisserant <edouard.tisserant@gmail.com>
Thu, 15 Dec 2022 14:54:05 +0100
changeset 3700 302492568cf4
parent 3699 ddadbdf20e70
child 3701 cd477457d825
Backed out changeset ddadbdf20e70, no effect on current problem.
.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