From 7865e44bc715f1354e4717908c3f33f8a5609160 Mon Sep 17 00:00:00 2001 From: Jan Midtgaard Date: Tue, 6 Aug 2024 14:49:28 +0200 Subject: [PATCH] Remove 500, 510, and 511 workflows --- .github/workflows/linux-500-32bit.yml | 15 --------------- .github/workflows/linux-510-32bit.yml | 15 --------------- .github/workflows/linux-511-32bit.yml | 15 --------------- 3 files changed, 45 deletions(-) delete mode 100644 .github/workflows/linux-500-32bit.yml delete mode 100644 .github/workflows/linux-510-32bit.yml delete mode 100644 .github/workflows/linux-511-32bit.yml 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