CI: for the time being run on both GitHub and self-hosted

diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index bffea20f667ed100ea06dca8bd3d514df3ce50ad..de7f8a96325b42f57bb6d88424a3eb851bf4d708 100644 (file)
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -65,7 +65,7 @@ jobs:
         #  name    - used in the job name only
         os:
           - { runs_on: "self-hosted",  code: "ubuntu2004", docker: "ubuntu:20.04", name: "self-ubuntu20", imageos: "ubuntu20" }
-#          - { runs_on: "ubuntu-20.04", code: "ubuntu2004", docker: "ubuntu:20.04", name: "gh20-ubuntu20", imageos: "ubuntu20" }
+          - { runs_on: "ubuntu-20.04", code: "ubuntu2004", docker: "ubuntu:20.04", name: "gh20-ubuntu20", imageos: "ubuntu20" }
 
         env:
           - { CC: gcc,   BUILD_CFLAGS: "-DWITH_EVAL_DEBUG",         LIBS_OPTIONAL: no,  LIBS_ALT: no,  TEST_TYPE: fixtures, NAME: linux-gcc-lean      }