Disable building dev variant job

Author: ivucica

.github/workflows/build.yml

@@ -17,7 +17,10 @@ jobs:
         with:
           fetch-depth: 0
 
-      - name: Run the script per README instructions
+      # Running only the non-dev version for now, as the dev version assumes
+      # ssh keys are set up. This should be possible to set up with GitHub
+      # Actions, but let's keep it simple for now.
+      - name: Run the script per README instructions (non-dev version)
         shell: bash
         run: |
           # Sourcing so we get the pipefail propagate.
@@ -34,31 +37,3 @@ jobs:
             echo "gorm not found!"
             exit 1
           fi
-
-  build-dev:
-    name: Build using stock script (-dev version)
-    runs-on: ubuntu-latest
-    timeout-minutes: 180
-    steps:
-      - name: Checkout repository
-        uses: actions/checkout@v4
-        with:
-          fetch-depth: 0
-
-      - name: Run the script per README instructions
-        shell: bash
-        run: |
-          # Sourcing so we get the pipefail propagate.
-          (set -euo pipefail ; export MANAGE_SUDO=no ; . gnustep-web-install-dev) | tee /tmp/gs-build.log
-          # We should process the log here to see if we can recognize critical
-          # errors.
-
-          # Otherwise let's see if some expected binaries are present.
-          if [ ! -x "/usr/local/GNUstep/bin/gnustep-config" ] ; then
-            echo "gnustep-config not found!"
-            exit 1
-          fi
-          if [ ! -x "/usr/local/GNUstep/bin/gorm" ] ; then
-            echo "gorm not found!"
-            exit 1
-          fi

setup-linux

@@ -8,6 +8,8 @@ COMMAND="apt"
 
 MANAGE_SUDO="${MANAGE_SUDO:-yes}"
 if [ "X${MANAGE_SUDO}" != "Xyes" ]; then
+   # Either CI or user does not want to adjust whether sudo is installed,
+   # whether root password is set or not, etc.
    echo "Skipping sudo management"
 else
    # Install SUDO if needed...