CI: remove now obsolete Dockerfile.maximal-based workflow

.github/workflows/build-maximal-image.yml

@@ -1,43 +0,0 @@
-name: Build and Publish Maximal Image
-
-on:
-  push:
-    branches:
-      - main
-    paths:
-      - 'Dockerfile.maximal'
-      - '.github/workflows/build-maximal-image.yml'
-  workflow_dispatch:
-
-permissions:
-  contents: read
-  packages: write
-
-jobs:
-  build-and-push:
-    runs-on: ubuntu-latest
-    steps:
-      - name: Checkout repository
-        uses: actions/checkout@v4
-
-      - name: Log in to the Container registry
-        uses: docker/login-action@v3
-        with:
-          registry: ghcr.io
-          username: ${{ github.actor }}
-          password: ${{ secrets.GITHUB_TOKEN }}
-
-      - name: Extract metadata (tags, labels) for Docker
-        id: meta
-        uses: docker/metadata-action@v5
-        with:
-          images: ghcr.io/${{ github.repository }}-maximal
-
-      - name: Build and push Docker image
-        uses: docker/build-push-action@v5
-        with:
-          context: .
-          file: ./Dockerfile.maximal
-          push: true
-          tags: ghcr.io/${{ github.repository }}-maximal:latest
-          labels: ${{ steps.meta.outputs.labels }}

.github/workflows/test-parallel.yml

@@ -1,105 +0,0 @@
-name: Parallel Matrix CI
-
-on:
-  push:
-    branches:
-      - main
-  pull_request:
-    branches:
-      - main
-
-permissions:
-  contents: read
-
-jobs:
-  test:
-    runs-on: ubuntu-latest
-    container:
-      image: ghcr.io/${{ github.repository }}-maximal:latest
-
-    strategy:
-      fail-fast: false
-      matrix:
-        include:
-          - batch_name: "Heavy Toolchains (C++, Rust, Java)"
-            marker_expr: 'cpp or rust or java'
-
-          - batch_name: "Medium Toolchains (Go)"
-            marker_expr: 'go'
-
-          - batch_name: "Catch-All (Core Framework & Remaining Languages)"
-            marker_expr: 'not cpp and not rust and not java and not go and not elm and not r and not rego and not scala'
-
-    name: ${{ matrix.batch_name }}
-
-    env:
-      UV_LINK_MODE: copy
-
-    steps:
-      - uses: actions/checkout@v4
-
-      - name: Cache language servers
-        uses: actions/cache@v4
-        with:
-          path: ~/.serena/language_servers
-          key: ls-cache-${{ runner.os }}-${{ github.sha }}
-          restore-keys: |
-            ls-cache-${{ runner.os }}-
-
-      - name: Setup uv
-        uses: astral-sh/setup-uv@v3
-        with:
-          enable-cache: true
-          cache-dependency-glob: |
-            pyproject.toml
-
-      - name: Create venv + install deps
-        shell: bash
-        run: |
-          set -euxo pipefail
-          uv venv .venv
-          .venv/bin/python -m ensurepip --upgrade || true
-          .venv/bin/python -m pip install -U pip setuptools wheel
-          uv pip install -e ".[dev]"
-          .venv/bin/python -m pytest --version
-
-      - name: Dotnet diagnostics (non-blocking)
-        shell: bash
-        run: |
-          set -euxo pipefail
-          dotnet --list-runtimes || true
-          dotnet --info || true
-
-      - name: Compute marker expression (final architecture quarantine)
-        id: markers
-        shell: bash
-        run: |
-          set -euo pipefail
-          MARKERS='${{ matrix.marker_expr }}'
-
-          if [[ '${{ matrix.batch_name }}' == 'Catch-All (Core Framework & Remaining Languages)' ]]; then
-            # Strict Quarantining: Explicitly disabling flaky auto-install dependencies & missing heavy toolchains
-            MARKERS="$MARKERS and not ruby and not php and not clojure and not kotlin and not msl and not nix and not zig and not swift and not perl and not fortran and not haskell and not elixir and not fsharp and not groovy and not matlab and not yaml and not json and not ansible and not julia and not lean4 and not ocaml and not pascal and not powershell and not svelte and not csharp"
-          fi
-
-          echo "MARKERS=$MARKERS"
-          echo "markers=$MARKERS" >> "$GITHUB_OUTPUT"
-          
-      - name: Run pytest
-        shell: bash
-        run: |
-          set -euxo pipefail
-          echo "Batch: ${{ matrix.batch_name }}"
-          echo "Running: pytest -m '${{ steps.markers.outputs.markers }}'"
-
-          # Catch-All only: deselect known flaky tests and environment-dependent GUI tests
-          if [[ '${{ matrix.batch_name }}' == 'Catch-All (Core Framework & Remaining Languages)' ]]; then
-            .venv/bin/python -m pytest \
-              -m "${{ steps.markers.outputs.markers }}" \
-              -k "not test_find_symbol_references_stable and not test_show_fatal_exception_safe" \
-              --maxfail=1 -q
-          else
-            .venv/bin/python -m pytest \
-              -m "${{ steps.markers.outputs.markers }}" \
-              --maxfail=1 -q
-          fi

Dockerfile.maximal

@@ -1,164 +0,0 @@
-# Base stage with common dependencies
-FROM python:3.11-slim AS base
-SHELL ["/bin/bash", "-c"]
-
-# Set environment variables to make Python print directly to the terminal and avoid .pyc files.
-ENV PYTHONUNBUFFERED=1 \
-    PYTHONDONTWRITEBYTECODE=1
-
-# Install system dependencies required for package manager and build tools.
-# Notes:
-# - python3-venv: makes venv/ensurepip reliable
-# - locales + libicu: required for dotnet to run on slim images
-RUN apt-get update && apt-get install -y --no-install-recommends \
-    bash \
-    ca-certificates \
-    curl \
-    build-essential \
-    git \
-    ssh \
-    sudo \
-    wget \
-    zip \
-    unzip \
-    sed \
-    python3-venv \
-    locales \
-    libicu-dev \
-    && rm -rf /var/lib/apt/lists/*
-
-# Configure UTF-8 locale (helps dotnet and some language servers)
-RUN sed -i 's/^# *en_US.UTF-8 UTF-8/en_US.UTF-8 UTF-8/' /etc/locale.gen \
-    && locale-gen
-ENV LANG=en_US.UTF-8
-ENV LC_ALL=en_US.UTF-8
-
-# Install pipx
-RUN python3 -m pip install --no-cache-dir pipx \
-    && pipx ensurepath
-
-# Install nodejs via NVM
-ENV NVM_VERSION=0.40.3
-ENV NODE_VERSION=22.18.0
-RUN curl -o- https://raw.githubusercontent.com/nvm-sh/nvm/v${NVM_VERSION}/install.sh | bash
-ENV NVM_DIR=/root/.nvm
-RUN . "$NVM_DIR/nvm.sh" && nvm install ${NODE_VERSION} \
- && . "$NVM_DIR/nvm.sh" && nvm use v${NODE_VERSION} \
- && . "$NVM_DIR/nvm.sh" && nvm alias default v${NODE_VERSION}
-ENV PATH="${NVM_DIR}/versions/node/v${NODE_VERSION}/bin/:${PATH}"
-
-# Add local bin to the path
-ENV PATH="${PATH}:/root/.local/bin"
-
-# Install uv (available as `uv` binary)
-RUN curl -LsSf https://astral.sh/uv/install.sh | sh
-
-# Install Rust and rustup for rust-analyzer support (minimal profile)
-ENV RUSTUP_HOME=/usr/local/rustup
-ENV CARGO_HOME=/usr/local/cargo
-ENV PATH="${CARGO_HOME}/bin:${PATH}"
-RUN curl --proto '=https' --tlsv1.2 -sSf https://sh.rustup.rs | sh -s -- -y \
-    --default-toolchain stable \
-    --profile minimal \
-    && rustup component add rust-analyzer
-
-# ==============================================================================
-# MAXIMAL ADDITIONS (For Catch-All CI Testing)
-# ==============================================================================
-
-# 1. Install Ruby, Java (JDK & JRE), Scala, Haxe, Nix, and Clangd (C++) via apt
-RUN apt-get update && apt-get install -y --no-install-recommends \
-    ruby-full \
-    default-jre \
-    default-jdk \
-    scala \
-    haxe \
-    nix-bin \
-    clangd \
-    && rm -rf /var/lib/apt/lists/*
-
-# Install Ruby language server (needed for ruby tests)
-RUN gem install ruby-lsp
-
-# 1.25 Install Lean 4 via elan (required for lean4 tests)
-ENV ELAN_HOME=/root/.elan
-ENV PATH="${ELAN_HOME}/bin:${PATH}"
-RUN curl -sSf https://raw.githubusercontent.com/leanprover/elan/master/elan-init.sh | sh -s -- -y \
-    && elan default stable \
-    && lean --version
-
-# 1.5 Install Julia officially via pre-compiled binaries
-RUN curl -L -o /tmp/julia.tar.gz https://julialang-s3.julialang.org/bin/linux/x64/1.10/julia-1.10.4-linux-x86_64.tar.gz \
-    && mkdir -p /opt/julia \
-    && tar zxf /tmp/julia.tar.gz -C /opt/julia --strip-components=1 \
-    && ln -s /opt/julia/bin/julia /usr/local/bin/julia \
-    && rm /tmp/julia.tar.gz
-
-# 2. Install PowerShell (pwsh)
-RUN curl -L -o /tmp/powershell.tar.gz https://github.com/PowerShell/PowerShell/releases/download/v7.4.2/powershell-7.4.2-linux-x64.tar.gz \
-    && mkdir -p /opt/microsoft/powershell/7 \
-    && tar zxf /tmp/powershell.tar.gz -C /opt/microsoft/powershell/7 \
-    && chmod +x /opt/microsoft/powershell/7/pwsh \
-    && ln -s /opt/microsoft/powershell/7/pwsh /usr/bin/pwsh \
-    && rm /tmp/powershell.tar.gz
-
-# 3. Install .NET (stable, for Roslyn language server)
-ENV DOTNET_ROOT=/root/.dotnet
-ENV PATH="${DOTNET_ROOT}:${PATH}"
-RUN curl -sSL https://dot.net/v1/dotnet-install.sh -o /tmp/dotnet-install.sh \
-    && chmod +x /tmp/dotnet-install.sh \
-    && /tmp/dotnet-install.sh --channel 10.0 --install-dir "${DOTNET_ROOT}" \
-    && /tmp/dotnet-install.sh --channel 10.0 --runtime dotnet --install-dir "${DOTNET_ROOT}" \
-    && ln -sf "${DOTNET_ROOT}/dotnet" /usr/bin/dotnet \
-    && rm -f /tmp/dotnet-install.sh
-    
-# 4. Install Go and gopls globally in system paths
-ENV GO_VERSION=1.22.3
-RUN curl -L -o /tmp/go.tar.gz https://go.dev/dl/go${GO_VERSION}.linux-amd64.tar.gz \
-    && tar -C /usr/local -xzf /tmp/go.tar.gz \
-    && rm /tmp/go.tar.gz
-ENV PATH="/usr/local/go/bin:${PATH}"
-RUN go install golang.org/x/tools/gopls@latest \
-    && mv /root/go/bin/gopls /usr/local/bin/gopls
-
-# 5. Install Terraform
-ENV TERRAFORM_VERSION=1.8.4
-RUN curl -L -o /tmp/terraform.zip https://releases.hashicorp.com/terraform/${TERRAFORM_VERSION}/terraform_${TERRAFORM_VERSION}_linux_amd64.zip \
-    && unzip /tmp/terraform.zip -d /usr/local/bin/ \
-    && rm /tmp/terraform.zip
-
-# 6. Install JS Ecosystem Language Servers (Typescript, Vue, Bash, HTML/CSS)
-RUN npm install -g \
-    typescript \
-    typescript-language-server \
-    @vue/language-server \
-    bash-language-server \
-    vscode-langservers-extracted
-
-# 7. Install Java Language Server (jdtls) snapshot with global system binary wrapper
-RUN wget https://download.eclipse.org/jdtls/snapshots/jdt-language-server-latest.tar.gz -O /tmp/jdtls.tar.gz \
-    && mkdir -p /opt/jdtls \
-    && tar -xzf /tmp/jdtls.tar.gz -C /opt/jdtls \
-    && rm /tmp/jdtls.tar.gz \
-    && printf '#!/bin/bash\njava -Declipse.application=org.eclipse.jdt.ls.core.id1 -Dosgi.bundles.defaultStartLevel=4 -Declipse.product=org.eclipse.jdt.ls.core.product -noverify -Xmx1G -jar /opt/jdtls/plugins/org.eclipse.equinox.launcher_*.jar -configuration /opt/jdtls/config_linux -data /tmp/workspace "$@"\n' > /usr/local/bin/jdtls \
-    && chmod +x /usr/local/bin/jdtls
-
-# ==============================================================================
-# END MAXIMAL ADDITIONS
-# ==============================================================================
-
-# Set the working directory
-WORKDIR /workspaces/serena
-
-# Copy all files for development
-COPY . /workspaces/serena/
-
-# Create Serena configuration
-ENV SERENA_HOME=/workspaces/serena/config
-RUN mkdir -p "$SERENA_HOME" \
- && cp src/serena/resources/serena_config.template.yml "$SERENA_HOME/serena_config.yml" \
- && sed -i 's/^gui_log_window: .*/gui_log_window: False/' "$SERENA_HOME/serena_config.yml" \
- && sed -i 's/^web_dashboard_listen_address: .*/web_dashboard_listen_address: 0.0.0.0/' "$SERENA_HOME/serena_config.yml" \
- && sed -i 's/^web_dashboard_open_on_launch: .*/web_dashboard_open_on_launch: False/' "$SERENA_HOME/serena_config.yml"
-
-CMD ["/bin/bash"]