diff --git a/.github/workflows/linux-500-32bit.yml b/.github/workflows/linux-500-32bit.yml deleted file mode 100644 index 20c94961..00000000 --- a/.github/workflows/linux-500-32bit.yml +++ /dev/null @@ -1,15 +0,0 @@ -name: 32bit 5.0.0 - -on: - pull_request: - push: - workflow_dispatch: - -jobs: - build: - uses: ./.github/workflows/common.yml - with: - compiler: 'ocaml-variants.5.0.0+options,ocaml-option-32bit' - dune_profile: 'debug-runtime' - runparam: 's=4096,v=0,V=1' - timeout: 240 diff --git a/.github/workflows/linux-510-32bit.yml b/.github/workflows/linux-510-32bit.yml deleted file mode 100644 index 19b1474e..00000000 --- a/.github/workflows/linux-510-32bit.yml +++ /dev/null @@ -1,15 +0,0 @@ -name: 32bit 5.1.0 - -on: - pull_request: - push: - workflow_dispatch: - -jobs: - build: - uses: ./.github/workflows/common.yml - with: - compiler: 'ocaml-variants.5.1.0+options,ocaml-option-32bit' - dune_profile: 'debug-runtime' - runparam: 's=4096,v=0,V=1' - timeout: 240 diff --git a/.github/workflows/linux-511-32bit.yml b/.github/workflows/linux-511-32bit.yml deleted file mode 100644 index 60f9dd55..00000000 --- a/.github/workflows/linux-511-32bit.yml +++ /dev/null @@ -1,15 +0,0 @@ -name: 32bit 5.1.1 - -on: - pull_request: - push: - workflow_dispatch: - -jobs: - build: - uses: ./.github/workflows/common.yml - with: - compiler: 'ocaml-variants.5.1.1+options,ocaml-option-32bit' - dune_profile: 'debug-runtime' - runparam: 's=4096,v=0,V=1' - timeout: 240