rm pypi

.github/workflows/build_docker.yml → .github/workflows/build_static.yml

@@ -1,4 +1,4 @@
-name: Build static
+name: Build statically linked binaries
 
 # The goal of this workflow is to test the installation of the project with opam
 # on a specific light docker container instead of using default GH-actions one.
@@ -7,7 +7,8 @@ on:
   pull_request:
 
 jobs:
-  macos-x64:
+  macos-static:
+    name: Build statically linked macOS binaries
     if: ${{ github.event_name != 'pull_request' }}
     strategy:
       matrix:
@@ -43,47 +44,8 @@ jobs:
           name: alt-ergo-${{ matrix.arch }}-macos
           path: src/bin/text/alt-ergo
 
-  pypi:
-    strategy:
-      matrix:
-        arch:
-          - x86_64  # aarch64 needs emulation
-
-    runs-on: ubuntu-latest
-
-    container:
-      image: quay.io/pypa/manylinux_2_28_${{ matrix.arch }}
-
-    steps:
-      - uses: actions/checkout@v4
-        with:
-          persist-credentials: false
-
-      - run: yum -y install bubblewrap
-
-      # We can't use the setup-ocaml action because it does not work inside the
-      # manylinux container
-      - run: curl -o /usr/bin/opam -L https://github.com/ocaml/opam/releases/download/2.2.0-beta1/opam-2.2.0-beta1-x86_64-linux
-
-      - run: chmod +x /usr/bin/opam
-
-      - run: opam init -y
-
-      - run: opam install . --locked --deps-only --ignore-constraints-on alt-ergo-lib,alt-ergo-parsers
-
-      - run: opam exec -- dune subst
-
-      - run: LINK_MODE=mixed opam exec -- dune build --release src/bin/text/Main_text.exe
-
-      - run: cp src/bin/text/Main_text.exe src/bin/text/alt-ergo
-
-      - uses: actions/upload-artifact@v4
-        with:
-          name: alt-ergo-${{ matrix.arch }}-linux-glibc
-          path: src/bin/text/alt-ergo
-
-  install_docker:
-    name: opam install on a specific docker container
+  musl:
+    name: Build statically linked binary with musl
 
     runs-on: ubuntu-latest