Only run the main CI build on our infrastructure

diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index 50929a4bda0e36dd6d482df221c3c10ea5877da0..d6615ed39929fad742b375d31e996cbff29dce48 100644 (file)
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -61,13 +61,13 @@ jobs:
       matrix:
 
         #  runs_on - where GitHub will spin up the runner, either
-        #            "self-hosted", or the name of a GitHub VM image.
+        #            "self-hosted", or the name of a GitHub VM image
+        #            e.g. gh20-ubuntu20 or self-ubuntu20.
         #  code    - the name/version of the OS (for step evaluations below)
         #  docker  - the docker image name, if containers are being used
         #  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" }
 
         env:
           - { CC: gcc,   BUILD_CFLAGS: "-DWITH_EVAL_DEBUG",         LIBS_OPTIONAL: no,  LIBS_ALT: no,  TEST_TYPE: fixtures, NAME: linux-gcc-lean      }