From 8a9adcad7d88794b67bd19afc379a8f2d97df73f Mon Sep 17 00:00:00 2001 From: Jan Midtgaard Date: Mon, 9 Sep 2024 14:29:25 +0200 Subject: [PATCH 1/2] Add MSVC 32-bit workflows for 5.3 and 5.4 --- .github/workflows/msvc-530-trunk-32bit.yml | 20 ++++++++++++++++++++ .github/workflows/msvc-540-trunk-32bit.yml | 20 ++++++++++++++++++++ 2 files changed, 40 insertions(+) create mode 100644 .github/workflows/msvc-530-trunk-32bit.yml create mode 100644 .github/workflows/msvc-540-trunk-32bit.yml diff --git a/.github/workflows/msvc-530-trunk-32bit.yml b/.github/workflows/msvc-530-trunk-32bit.yml new file mode 100644 index 000000000..7a3dea379 --- /dev/null +++ b/.github/workflows/msvc-530-trunk-32bit.yml @@ -0,0 +1,20 @@ +name: MSVC 5.3 32bit + +on: + schedule: + # Every Monday morning, at 2:22 UTC + - cron: '22 2 * * 1' + pull_request: + push: + branches: + - main + workflow_dispatch: + +jobs: + build: + uses: ./.github/workflows/common.yml + with: + runs_on: windows-latest + platform: msvc + options: 32bit + compiler_ref: refs/heads/5.3 diff --git a/.github/workflows/msvc-540-trunk-32bit.yml b/.github/workflows/msvc-540-trunk-32bit.yml new file mode 100644 index 000000000..fe0cea815 --- /dev/null +++ b/.github/workflows/msvc-540-trunk-32bit.yml @@ -0,0 +1,20 @@ +name: MSVC trunk 32bit + +on: + schedule: + # Every Monday morning, at 3:33 UTC + - cron: '33 3 * * 1' + pull_request: + push: + branches: + - main + workflow_dispatch: + +jobs: + build: + uses: ./.github/workflows/common.yml + with: + runs_on: windows-latest + platform: msvc + options: 32bit + compiler_ref: refs/heads/trunk From e0a2c6edc9810f5b8f819cb3085f193c70b0dd34 Mon Sep 17 00:00:00 2001 From: Jan Midtgaard Date: Mon, 9 Sep 2024 14:31:39 +0200 Subject: [PATCH 2/2] REMOVE ME: rm irrelevant workflows --- .github/workflows/cygwin-51x.yml | 16 ------ .github/workflows/cygwin-520.yml | 20 -------- .github/workflows/cygwin-530-trunk.yml | 20 -------- .github/workflows/cygwin-540-trunk.yml | 20 -------- .github/workflows/gh-pages.yml | 42 --------------- .github/workflows/linux-500-32bit.yml | 15 ------ .github/workflows/linux-500-bytecode.yml | 15 ------ .github/workflows/linux-500-debug.yml | 16 ------ .github/workflows/linux-500.yml | 13 ----- .github/workflows/linux-51x-32bit.yml | 15 ------ .github/workflows/linux-51x-bytecode.yml | 15 ------ .github/workflows/linux-51x-debug.yml | 16 ------ .github/workflows/linux-51x-fp.yml | 15 ------ .github/workflows/linux-51x.yml | 13 ----- .github/workflows/linux-520-32bit.yml | 19 ------- .github/workflows/linux-520-bytecode.yml | 19 ------- .github/workflows/linux-520-debug.yml | 20 -------- .github/workflows/linux-520-fp.yml | 19 ------- .github/workflows/linux-520.yml | 17 ------- .github/workflows/linux-530-trunk-32bit.yml | 19 ------- .../workflows/linux-530-trunk-bytecode.yml | 19 ------- .github/workflows/linux-530-trunk-debug.yml | 20 -------- .github/workflows/linux-530-trunk-fp.yml | 19 ------- .github/workflows/linux-530-trunk.yml | 17 ------- .github/workflows/linux-540-trunk-32bit.yml | 19 ------- .../workflows/linux-540-trunk-bytecode.yml | 19 ------- .github/workflows/linux-540-trunk-debug.yml | 20 -------- .github/workflows/linux-540-trunk-fp.yml | 19 ------- .github/workflows/linux-540-trunk.yml | 17 ------- .github/workflows/macosx-arm64-500.yml | 15 ------ .github/workflows/macosx-arm64-51x.yml | 15 ------ .github/workflows/macosx-arm64-520.yml | 19 ------- .github/workflows/macosx-arm64-530-trunk.yml | 19 ------- .github/workflows/macosx-arm64-540-trunk.yml | 19 ------- .github/workflows/macosx-intel-500.yml | 15 ------ .github/workflows/macosx-intel-51x.yml | 15 ------ .github/workflows/macosx-intel-520.yml | 19 ------- .github/workflows/macosx-intel-530-trunk.yml | 19 ------- .github/workflows/macosx-intel-540-trunk.yml | 19 ------- .github/workflows/mingw-500-bytecode.yml | 17 ------- .github/workflows/mingw-500.yml | 16 ------ .github/workflows/mingw-51x-bytecode.yml | 17 ------- .github/workflows/mingw-51x.yml | 16 ------ .github/workflows/mingw-520-bytecode.yml | 21 -------- .github/workflows/mingw-520.yml | 20 -------- .../workflows/mingw-530-trunk-bytecode.yml | 21 -------- .github/workflows/mingw-530-trunk.yml | 20 -------- .../workflows/mingw-540-trunk-bytecode.yml | 21 -------- .github/workflows/mingw-540-trunk.yml | 20 -------- .github/workflows/msvc-530-trunk-bytecode.yml | 20 -------- .github/workflows/msvc-540-trunk-bytecode.yml | 20 -------- .github/workflows/opam.yml | 51 ------------------- 52 files changed, 987 deletions(-) delete mode 100644 .github/workflows/cygwin-51x.yml delete mode 100644 .github/workflows/cygwin-520.yml delete mode 100644 .github/workflows/cygwin-530-trunk.yml delete mode 100644 .github/workflows/cygwin-540-trunk.yml delete mode 100644 .github/workflows/gh-pages.yml delete mode 100644 .github/workflows/linux-500-32bit.yml delete mode 100644 .github/workflows/linux-500-bytecode.yml delete mode 100644 .github/workflows/linux-500-debug.yml delete mode 100644 .github/workflows/linux-500.yml delete mode 100644 .github/workflows/linux-51x-32bit.yml delete mode 100644 .github/workflows/linux-51x-bytecode.yml delete mode 100644 .github/workflows/linux-51x-debug.yml delete mode 100644 .github/workflows/linux-51x-fp.yml delete mode 100644 .github/workflows/linux-51x.yml delete mode 100644 .github/workflows/linux-520-32bit.yml delete mode 100644 .github/workflows/linux-520-bytecode.yml delete mode 100644 .github/workflows/linux-520-debug.yml delete mode 100644 .github/workflows/linux-520-fp.yml delete mode 100644 .github/workflows/linux-520.yml delete mode 100644 .github/workflows/linux-530-trunk-32bit.yml delete mode 100644 .github/workflows/linux-530-trunk-bytecode.yml delete mode 100644 .github/workflows/linux-530-trunk-debug.yml delete mode 100644 .github/workflows/linux-530-trunk-fp.yml delete mode 100644 .github/workflows/linux-530-trunk.yml delete mode 100644 .github/workflows/linux-540-trunk-32bit.yml delete mode 100644 .github/workflows/linux-540-trunk-bytecode.yml delete mode 100644 .github/workflows/linux-540-trunk-debug.yml delete mode 100644 .github/workflows/linux-540-trunk-fp.yml delete mode 100644 .github/workflows/linux-540-trunk.yml delete mode 100644 .github/workflows/macosx-arm64-500.yml delete mode 100644 .github/workflows/macosx-arm64-51x.yml delete mode 100644 .github/workflows/macosx-arm64-520.yml delete mode 100644 .github/workflows/macosx-arm64-530-trunk.yml delete mode 100644 .github/workflows/macosx-arm64-540-trunk.yml delete mode 100644 .github/workflows/macosx-intel-500.yml delete mode 100644 .github/workflows/macosx-intel-51x.yml delete mode 100644 .github/workflows/macosx-intel-520.yml delete mode 100644 .github/workflows/macosx-intel-530-trunk.yml delete mode 100644 .github/workflows/macosx-intel-540-trunk.yml delete mode 100644 .github/workflows/mingw-500-bytecode.yml delete mode 100644 .github/workflows/mingw-500.yml delete mode 100644 .github/workflows/mingw-51x-bytecode.yml delete mode 100644 .github/workflows/mingw-51x.yml delete mode 100644 .github/workflows/mingw-520-bytecode.yml delete mode 100644 .github/workflows/mingw-520.yml delete mode 100644 .github/workflows/mingw-530-trunk-bytecode.yml delete mode 100644 .github/workflows/mingw-530-trunk.yml delete mode 100644 .github/workflows/mingw-540-trunk-bytecode.yml delete mode 100644 .github/workflows/mingw-540-trunk.yml delete mode 100644 .github/workflows/msvc-530-trunk-bytecode.yml delete mode 100644 .github/workflows/msvc-540-trunk-bytecode.yml delete mode 100644 .github/workflows/opam.yml diff --git a/.github/workflows/cygwin-51x.yml b/.github/workflows/cygwin-51x.yml deleted file mode 100644 index 596b58a6e..000000000 --- a/.github/workflows/cygwin-51x.yml +++ /dev/null @@ -1,16 +0,0 @@ -name: Cygwin 5.1 - -on: - schedule: - # Every Sunday morning, at 2:22 UTC - - cron: '22 2 * * 0' - workflow_dispatch: - -jobs: - build: - uses: ./.github/workflows/common.yml - with: - runs_on: windows-latest - platform: cygwin - compiler_ref: refs/tags/5.1.1 - timeout: 240 diff --git a/.github/workflows/cygwin-520.yml b/.github/workflows/cygwin-520.yml deleted file mode 100644 index 76d3fa87c..000000000 --- a/.github/workflows/cygwin-520.yml +++ /dev/null @@ -1,20 +0,0 @@ -name: Cygwin 5.2 - -on: - schedule: - # Every Monday morning, at 1:11 UTC - - cron: '11 1 * * 1' - pull_request: - push: - branches: - - main - workflow_dispatch: - -jobs: - build: - uses: ./.github/workflows/common.yml - with: - runs_on: windows-latest - platform: cygwin - compiler_ref: refs/tags/5.2.0 - timeout: 240 diff --git a/.github/workflows/cygwin-530-trunk.yml b/.github/workflows/cygwin-530-trunk.yml deleted file mode 100644 index 9d39a3ba0..000000000 --- a/.github/workflows/cygwin-530-trunk.yml +++ /dev/null @@ -1,20 +0,0 @@ -name: Cygwin 5.3 - -on: - schedule: - # Every Monday morning, at 2:22 UTC - - cron: '22 2 * * 1' - pull_request: - push: - branches: - - main - workflow_dispatch: - -jobs: - build: - uses: ./.github/workflows/common.yml - with: - runs_on: windows-latest - platform: cygwin - compiler_ref: refs/heads/5.3 - timeout: 240 diff --git a/.github/workflows/cygwin-540-trunk.yml b/.github/workflows/cygwin-540-trunk.yml deleted file mode 100644 index 5de27f4d2..000000000 --- a/.github/workflows/cygwin-540-trunk.yml +++ /dev/null @@ -1,20 +0,0 @@ -name: Cygwin trunk - -on: - schedule: - # Every Monday morning, at 3:33 UTC - - cron: '33 3 * * 1' - pull_request: - push: - branches: - - main - workflow_dispatch: - -jobs: - build: - uses: ./.github/workflows/common.yml - with: - runs_on: windows-latest - platform: cygwin - compiler_ref: refs/heads/trunk - timeout: 240 diff --git a/.github/workflows/gh-pages.yml b/.github/workflows/gh-pages.yml deleted file mode 100644 index 4fb13add5..000000000 --- a/.github/workflows/gh-pages.yml +++ /dev/null @@ -1,42 +0,0 @@ -name: github pages - -on: - push: - branches: - - main # Set a branch name to trigger deployment - -jobs: - deploy: - runs-on: ubuntu-latest - steps: - - name: Checkout code - uses: actions/checkout@v4 - - - name: Cache opam - id: cache-opam - uses: actions/cache@v3 - with: - path: ~/.opam - key: opam-ubuntu-latest-5.0.0 - - - uses: avsm/setup-ocaml@v2 - with: - ocaml-compiler: 'ocaml-base-compiler.5.0.0' - default: https://github.com/ocaml/opam-repository.git - - - name: Pin packages - run: opam pin -n . - - - name: Install dependencies - run: opam install -d . --deps-only - - - name: Build - run: opam exec -- dune build @doc - - - name: Deploy - uses: peaceiris/actions-gh-pages@v3 - with: - github_token: ${{ secrets.GITHUB_TOKEN }} - publish_dir: ./_build/default/_doc/_html/ - destination_dir: dev - enable_jekyll: true diff --git a/.github/workflows/linux-500-32bit.yml b/.github/workflows/linux-500-32bit.yml deleted file mode 100644 index 2d2069e84..000000000 --- a/.github/workflows/linux-500-32bit.yml +++ /dev/null @@ -1,15 +0,0 @@ -name: 32bit 5.0.0 - -on: - schedule: - # Every Sunday morning, at 1:11 UTC - - cron: '11 1 * * 0' - workflow_dispatch: - -jobs: - build: - uses: ./.github/workflows/common.yml - with: - compiler_ref: refs/tags/5.0.0 - options: 32bit - timeout: 240 diff --git a/.github/workflows/linux-500-bytecode.yml b/.github/workflows/linux-500-bytecode.yml deleted file mode 100644 index ff822129b..000000000 --- a/.github/workflows/linux-500-bytecode.yml +++ /dev/null @@ -1,15 +0,0 @@ -name: Bytecode 5.0.0 - -on: - schedule: - # Every Sunday morning, at 1:11 UTC - - cron: '11 1 * * 0' - workflow_dispatch: - -jobs: - build: - uses: ./.github/workflows/common.yml - with: - compiler_ref: refs/tags/5.0.0 - options: bytecode-only - timeout: 240 diff --git a/.github/workflows/linux-500-debug.yml b/.github/workflows/linux-500-debug.yml deleted file mode 100644 index 4671b67a1..000000000 --- a/.github/workflows/linux-500-debug.yml +++ /dev/null @@ -1,16 +0,0 @@ -name: Linux 5.0.0 debug - -on: - schedule: - # Every Sunday morning, at 1:11 UTC - - cron: '11 1 * * 0' - workflow_dispatch: - -jobs: - build: - uses: ./.github/workflows/common.yml - with: - compiler_ref: refs/tags/5.0.0 - dune_profile: 'debug-runtime' - runparam: 's=4096,v=0,V=1' - timeout: 240 diff --git a/.github/workflows/linux-500.yml b/.github/workflows/linux-500.yml deleted file mode 100644 index 8049e76bb..000000000 --- a/.github/workflows/linux-500.yml +++ /dev/null @@ -1,13 +0,0 @@ -name: Linux 5.0.0 - -on: - schedule: - # Every Sunday morning, at 1:11 UTC - - cron: '11 1 * * 0' - workflow_dispatch: - -jobs: - build: - uses: ./.github/workflows/common.yml - with: - compiler_ref: refs/tags/5.0.0 diff --git a/.github/workflows/linux-51x-32bit.yml b/.github/workflows/linux-51x-32bit.yml deleted file mode 100644 index 576125172..000000000 --- a/.github/workflows/linux-51x-32bit.yml +++ /dev/null @@ -1,15 +0,0 @@ -name: 32bit 5.1 - -on: - schedule: - # Every Sunday morning, at 2:22 UTC - - cron: '22 2 * * 0' - workflow_dispatch: - -jobs: - build: - uses: ./.github/workflows/common.yml - with: - compiler_ref: refs/tags/5.1.1 - options: 32bit - timeout: 240 diff --git a/.github/workflows/linux-51x-bytecode.yml b/.github/workflows/linux-51x-bytecode.yml deleted file mode 100644 index fd77fa382..000000000 --- a/.github/workflows/linux-51x-bytecode.yml +++ /dev/null @@ -1,15 +0,0 @@ -name: Bytecode 5.1 - -on: - schedule: - # Every Sunday morning, at 2:22 UTC - - cron: '22 2 * * 0' - workflow_dispatch: - -jobs: - build: - uses: ./.github/workflows/common.yml - with: - compiler_ref: refs/tags/5.1.1 - options: bytecode-only - timeout: 240 diff --git a/.github/workflows/linux-51x-debug.yml b/.github/workflows/linux-51x-debug.yml deleted file mode 100644 index ab29d0b8f..000000000 --- a/.github/workflows/linux-51x-debug.yml +++ /dev/null @@ -1,16 +0,0 @@ -name: Linux 5.1 debug - -on: - schedule: - # Every Sunday morning, at 2:22 UTC - - cron: '22 2 * * 0' - workflow_dispatch: - -jobs: - build: - uses: ./.github/workflows/common.yml - with: - compiler_ref: refs/tags/5.1.1 - dune_profile: 'debug-runtime' - runparam: 's=4096,v=0,V=1' - timeout: 240 diff --git a/.github/workflows/linux-51x-fp.yml b/.github/workflows/linux-51x-fp.yml deleted file mode 100644 index 2cf1460a6..000000000 --- a/.github/workflows/linux-51x-fp.yml +++ /dev/null @@ -1,15 +0,0 @@ -name: FP 5.1 - -on: - schedule: - # Every Sunday morning, at 2:22 UTC - - cron: '22 2 * * 0' - workflow_dispatch: - -jobs: - build: - uses: ./.github/workflows/common.yml - with: - compiler_ref: refs/tags/5.1.1 - options: fp - timeout: 240 diff --git a/.github/workflows/linux-51x.yml b/.github/workflows/linux-51x.yml deleted file mode 100644 index 81b9191b8..000000000 --- a/.github/workflows/linux-51x.yml +++ /dev/null @@ -1,13 +0,0 @@ -name: Linux 5.1 - -on: - schedule: - # Every Sunday morning, at 2:22 UTC - - cron: '22 2 * * 0' - workflow_dispatch: - -jobs: - build: - uses: ./.github/workflows/common.yml - with: - compiler_ref: refs/tags/5.1.1 diff --git a/.github/workflows/linux-520-32bit.yml b/.github/workflows/linux-520-32bit.yml deleted file mode 100644 index 0d5de1c81..000000000 --- a/.github/workflows/linux-520-32bit.yml +++ /dev/null @@ -1,19 +0,0 @@ -name: 32bit 5.2 - -on: - schedule: - # Every Monday morning, at 1:11 UTC - - cron: '11 1 * * 1' - pull_request: - push: - branches: - - main - workflow_dispatch: - -jobs: - build: - uses: ./.github/workflows/common.yml - with: - compiler_ref: refs/tags/5.2.0 - options: 32bit - timeout: 240 diff --git a/.github/workflows/linux-520-bytecode.yml b/.github/workflows/linux-520-bytecode.yml deleted file mode 100644 index 91d43fcdd..000000000 --- a/.github/workflows/linux-520-bytecode.yml +++ /dev/null @@ -1,19 +0,0 @@ -name: Bytecode 5.2 - -on: - schedule: - # Every Monday morning, at 1:11 UTC - - cron: '11 1 * * 1' - pull_request: - push: - branches: - - main - workflow_dispatch: - -jobs: - build: - uses: ./.github/workflows/common.yml - with: - compiler_ref: refs/tags/5.2.0 - options: bytecode-only - timeout: 240 diff --git a/.github/workflows/linux-520-debug.yml b/.github/workflows/linux-520-debug.yml deleted file mode 100644 index 757b3fedd..000000000 --- a/.github/workflows/linux-520-debug.yml +++ /dev/null @@ -1,20 +0,0 @@ -name: Linux 5.2 debug - -on: - schedule: - # Every Monday morning, at 1:11 UTC - - cron: '11 1 * * 1' - pull_request: - push: - branches: - - main - workflow_dispatch: - -jobs: - build: - uses: ./.github/workflows/common.yml - with: - compiler_ref: refs/tags/5.2.0 - dune_profile: 'debug-runtime' - runparam: 's=4096,v=0,V=1' - timeout: 240 diff --git a/.github/workflows/linux-520-fp.yml b/.github/workflows/linux-520-fp.yml deleted file mode 100644 index 81762da6a..000000000 --- a/.github/workflows/linux-520-fp.yml +++ /dev/null @@ -1,19 +0,0 @@ -name: FP 5.2 - -on: - schedule: - # Every Monday morning, at 1:11 UTC - - cron: '11 1 * * 1' - pull_request: - push: - branches: - - main - workflow_dispatch: - -jobs: - build: - uses: ./.github/workflows/common.yml - with: - compiler_ref: refs/tags/5.2.0 - options: fp - timeout: 240 diff --git a/.github/workflows/linux-520.yml b/.github/workflows/linux-520.yml deleted file mode 100644 index 5209c98b8..000000000 --- a/.github/workflows/linux-520.yml +++ /dev/null @@ -1,17 +0,0 @@ -name: Linux 5.2 - -on: - schedule: - # Every Monday morning, at 1:11 UTC - - cron: '11 1 * * 1' - pull_request: - push: - branches: - - main - workflow_dispatch: - -jobs: - build: - uses: ./.github/workflows/common.yml - with: - compiler_ref: refs/tags/5.2.0 diff --git a/.github/workflows/linux-530-trunk-32bit.yml b/.github/workflows/linux-530-trunk-32bit.yml deleted file mode 100644 index b5158862c..000000000 --- a/.github/workflows/linux-530-trunk-32bit.yml +++ /dev/null @@ -1,19 +0,0 @@ -name: 32bit 5.3 - -on: - schedule: - # Every Monday morning, at 2:22 UTC - - cron: '22 2 * * 1' - pull_request: - push: - branches: - - main - workflow_dispatch: - -jobs: - build: - uses: ./.github/workflows/common.yml - with: - compiler_ref: refs/heads/5.3 - options: 32bit - timeout: 240 diff --git a/.github/workflows/linux-530-trunk-bytecode.yml b/.github/workflows/linux-530-trunk-bytecode.yml deleted file mode 100644 index 90c056683..000000000 --- a/.github/workflows/linux-530-trunk-bytecode.yml +++ /dev/null @@ -1,19 +0,0 @@ -name: Bytecode 5.3 - -on: - schedule: - # Every Monday morning, at 2:22 UTC - - cron: '22 2 * * 1' - pull_request: - push: - branches: - - main - workflow_dispatch: - -jobs: - build: - uses: ./.github/workflows/common.yml - with: - compiler_ref: refs/heads/5.3 - options: bytecode-only - timeout: 240 diff --git a/.github/workflows/linux-530-trunk-debug.yml b/.github/workflows/linux-530-trunk-debug.yml deleted file mode 100644 index 78c6b32cd..000000000 --- a/.github/workflows/linux-530-trunk-debug.yml +++ /dev/null @@ -1,20 +0,0 @@ -name: Linux 5.3 debug - -on: - schedule: - # Every Monday morning, at 2:22 UTC - - cron: '22 2 * * 1' - pull_request: - push: - branches: - - main - workflow_dispatch: - -jobs: - build: - uses: ./.github/workflows/common.yml - with: - compiler_ref: refs/heads/5.3 - dune_profile: 'debug-runtime' - runparam: 's=4096,v=0,V=1' - timeout: 240 diff --git a/.github/workflows/linux-530-trunk-fp.yml b/.github/workflows/linux-530-trunk-fp.yml deleted file mode 100644 index 3faf669c7..000000000 --- a/.github/workflows/linux-530-trunk-fp.yml +++ /dev/null @@ -1,19 +0,0 @@ -name: FP 5.3 - -on: - schedule: - # Every Monday morning, at 2:22 UTC - - cron: '22 2 * * 1' - pull_request: - push: - branches: - - main - workflow_dispatch: - -jobs: - build: - uses: ./.github/workflows/common.yml - with: - compiler_ref: refs/heads/5.3 - options: fp - timeout: 240 diff --git a/.github/workflows/linux-530-trunk.yml b/.github/workflows/linux-530-trunk.yml deleted file mode 100644 index 26f4820ac..000000000 --- a/.github/workflows/linux-530-trunk.yml +++ /dev/null @@ -1,17 +0,0 @@ -name: Linux 5.3 - -on: - schedule: - # Every Monday morning, at 2:22 UTC - - cron: '22 2 * * 1' - pull_request: - push: - branches: - - main - workflow_dispatch: - -jobs: - build: - uses: ./.github/workflows/common.yml - with: - compiler_ref: refs/heads/5.3 diff --git a/.github/workflows/linux-540-trunk-32bit.yml b/.github/workflows/linux-540-trunk-32bit.yml deleted file mode 100644 index d8b367b25..000000000 --- a/.github/workflows/linux-540-trunk-32bit.yml +++ /dev/null @@ -1,19 +0,0 @@ -name: 32bit trunk - -on: - schedule: - # Every Monday morning, at 3:33 UTC - - cron: '33 3 * * 1' - pull_request: - push: - branches: - - main - workflow_dispatch: - -jobs: - build: - uses: ./.github/workflows/common.yml - with: - compiler_ref: refs/heads/trunk - options: 32bit - timeout: 240 diff --git a/.github/workflows/linux-540-trunk-bytecode.yml b/.github/workflows/linux-540-trunk-bytecode.yml deleted file mode 100644 index 76bea3e5b..000000000 --- a/.github/workflows/linux-540-trunk-bytecode.yml +++ /dev/null @@ -1,19 +0,0 @@ -name: Bytecode trunk - -on: - schedule: - # Every Monday morning, at 3:33 UTC - - cron: '33 3 * * 1' - pull_request: - push: - branches: - - main - workflow_dispatch: - -jobs: - build: - uses: ./.github/workflows/common.yml - with: - compiler_ref: refs/heads/trunk - options: bytecode-only - timeout: 240 diff --git a/.github/workflows/linux-540-trunk-debug.yml b/.github/workflows/linux-540-trunk-debug.yml deleted file mode 100644 index 3f5877301..000000000 --- a/.github/workflows/linux-540-trunk-debug.yml +++ /dev/null @@ -1,20 +0,0 @@ -name: Linux trunk debug - -on: - schedule: - # Every Monday morning, at 3:33 UTC - - cron: '33 3 * * 1' - pull_request: - push: - branches: - - main - workflow_dispatch: - -jobs: - build: - uses: ./.github/workflows/common.yml - with: - compiler_ref: refs/heads/trunk - dune_profile: 'debug-runtime' - runparam: 's=4096,v=0,V=1' - timeout: 240 diff --git a/.github/workflows/linux-540-trunk-fp.yml b/.github/workflows/linux-540-trunk-fp.yml deleted file mode 100644 index 9f12f9e1a..000000000 --- a/.github/workflows/linux-540-trunk-fp.yml +++ /dev/null @@ -1,19 +0,0 @@ -name: FP trunk - -on: - schedule: - # Every Monday morning, at 3:33 UTC - - cron: '33 3 * * 1' - pull_request: - push: - branches: - - main - workflow_dispatch: - -jobs: - build: - uses: ./.github/workflows/common.yml - with: - compiler_ref: refs/heads/trunk - options: fp - timeout: 240 diff --git a/.github/workflows/linux-540-trunk.yml b/.github/workflows/linux-540-trunk.yml deleted file mode 100644 index 5e429f04a..000000000 --- a/.github/workflows/linux-540-trunk.yml +++ /dev/null @@ -1,17 +0,0 @@ -name: Linux trunk - -on: - schedule: - # Every Monday morning, at 3:33 UTC - - cron: '33 3 * * 1' - pull_request: - push: - branches: - - main - workflow_dispatch: - -jobs: - build: - uses: ./.github/workflows/common.yml - with: - compiler_ref: refs/heads/trunk diff --git a/.github/workflows/macosx-arm64-500.yml b/.github/workflows/macosx-arm64-500.yml deleted file mode 100644 index 65b33757e..000000000 --- a/.github/workflows/macosx-arm64-500.yml +++ /dev/null @@ -1,15 +0,0 @@ -name: macOS-ARM64 5.0.0 - -on: - schedule: - # Every Sunday morning, at 1:11 UTC - - cron: '11 1 * * 0' - workflow_dispatch: - -jobs: - build: - uses: ./.github/workflows/common.yml - with: - runs_on: 'macos-14' - platform: macos - compiler_ref: refs/tags/5.0.0 diff --git a/.github/workflows/macosx-arm64-51x.yml b/.github/workflows/macosx-arm64-51x.yml deleted file mode 100644 index f5e33a392..000000000 --- a/.github/workflows/macosx-arm64-51x.yml +++ /dev/null @@ -1,15 +0,0 @@ -name: macOS-ARM64 5.1 - -on: - schedule: - # Every Sunday morning, at 2:22 UTC - - cron: '22 2 * * 0' - workflow_dispatch: - -jobs: - build: - uses: ./.github/workflows/common.yml - with: - runs_on: 'macos-14' - platform: macos - compiler_ref: refs/tags/5.1.1 diff --git a/.github/workflows/macosx-arm64-520.yml b/.github/workflows/macosx-arm64-520.yml deleted file mode 100644 index a9446ac09..000000000 --- a/.github/workflows/macosx-arm64-520.yml +++ /dev/null @@ -1,19 +0,0 @@ -name: macOS-ARM64 5.2 - -on: - schedule: - # Every Monday morning, at 1:11 UTC - - cron: '11 1 * * 1' - pull_request: - push: - branches: - - main - workflow_dispatch: - -jobs: - build: - uses: ./.github/workflows/common.yml - with: - runs_on: 'macos-14' - platform: macos - compiler_ref: refs/tags/5.2.0 diff --git a/.github/workflows/macosx-arm64-530-trunk.yml b/.github/workflows/macosx-arm64-530-trunk.yml deleted file mode 100644 index 86f466f01..000000000 --- a/.github/workflows/macosx-arm64-530-trunk.yml +++ /dev/null @@ -1,19 +0,0 @@ -name: macOS-ARM64 5.3 - -on: - schedule: - # Every Monday morning, at 2:22 UTC - - cron: '22 2 * * 1' - pull_request: - push: - branches: - - main - workflow_dispatch: - -jobs: - build: - uses: ./.github/workflows/common.yml - with: - runs_on: 'macos-14' - platform: macos - compiler_ref: refs/heads/5.3 diff --git a/.github/workflows/macosx-arm64-540-trunk.yml b/.github/workflows/macosx-arm64-540-trunk.yml deleted file mode 100644 index ce405419e..000000000 --- a/.github/workflows/macosx-arm64-540-trunk.yml +++ /dev/null @@ -1,19 +0,0 @@ -name: macOS-ARM64 trunk - -on: - schedule: - # Every Monday morning, at 3:33 UTC - - cron: '33 3 * * 1' - pull_request: - push: - branches: - - main - workflow_dispatch: - -jobs: - build: - uses: ./.github/workflows/common.yml - with: - runs_on: 'macos-14' - platform: macos - compiler_ref: refs/heads/trunk diff --git a/.github/workflows/macosx-intel-500.yml b/.github/workflows/macosx-intel-500.yml deleted file mode 100644 index 91ae3bbda..000000000 --- a/.github/workflows/macosx-intel-500.yml +++ /dev/null @@ -1,15 +0,0 @@ -name: macOS-intel 5.0.0 - -on: - schedule: - # Every Sunday morning, at 1:11 UTC - - cron: '11 1 * * 0' - workflow_dispatch: - -jobs: - build: - uses: ./.github/workflows/common.yml - with: - runs_on: 'macos-13' - platform: macos - compiler_ref: refs/tags/5.0.0 diff --git a/.github/workflows/macosx-intel-51x.yml b/.github/workflows/macosx-intel-51x.yml deleted file mode 100644 index c54d72bc3..000000000 --- a/.github/workflows/macosx-intel-51x.yml +++ /dev/null @@ -1,15 +0,0 @@ -name: macOS-intel 5.1 - -on: - schedule: - # Every Sunday morning, at 2:22 UTC - - cron: '22 2 * * 0' - workflow_dispatch: - -jobs: - build: - uses: ./.github/workflows/common.yml - with: - runs_on: 'macos-13' - platform: macos - compiler_ref: refs/tags/5.1.1 diff --git a/.github/workflows/macosx-intel-520.yml b/.github/workflows/macosx-intel-520.yml deleted file mode 100644 index c16ef7b50..000000000 --- a/.github/workflows/macosx-intel-520.yml +++ /dev/null @@ -1,19 +0,0 @@ -name: macOS-intel 5.2 - -on: - schedule: - # Every Monday morning, at 1:11 UTC - - cron: '11 1 * * 1' - pull_request: - push: - branches: - - main - workflow_dispatch: - -jobs: - build: - uses: ./.github/workflows/common.yml - with: - runs_on: 'macos-13' - platform: macos - compiler_ref: refs/tags/5.2.0 diff --git a/.github/workflows/macosx-intel-530-trunk.yml b/.github/workflows/macosx-intel-530-trunk.yml deleted file mode 100644 index 8ae97bb56..000000000 --- a/.github/workflows/macosx-intel-530-trunk.yml +++ /dev/null @@ -1,19 +0,0 @@ -name: macOS-intel 5.3 - -on: - schedule: - # Every Monday morning, at 2:22 UTC - - cron: '22 2 * * 1' - pull_request: - push: - branches: - - main - workflow_dispatch: - -jobs: - build: - uses: ./.github/workflows/common.yml - with: - runs_on: 'macos-13' - platform: macos - compiler_ref: refs/heads/5.3 diff --git a/.github/workflows/macosx-intel-540-trunk.yml b/.github/workflows/macosx-intel-540-trunk.yml deleted file mode 100644 index bbe4f3738..000000000 --- a/.github/workflows/macosx-intel-540-trunk.yml +++ /dev/null @@ -1,19 +0,0 @@ -name: macOS-intel trunk - -on: - schedule: - # Every Monday morning, at 3:33 UTC - - cron: '33 3 * * 1' - pull_request: - push: - branches: - - main - workflow_dispatch: - -jobs: - build: - uses: ./.github/workflows/common.yml - with: - runs_on: 'macos-13' - platform: macos - compiler_ref: refs/heads/trunk diff --git a/.github/workflows/mingw-500-bytecode.yml b/.github/workflows/mingw-500-bytecode.yml deleted file mode 100644 index feb56bfab..000000000 --- a/.github/workflows/mingw-500-bytecode.yml +++ /dev/null @@ -1,17 +0,0 @@ -name: MinGW bytecode 5.0.0 - -on: - schedule: - # Every Sunday morning, at 1:11 UTC - - cron: '11 1 * * 0' - workflow_dispatch: - -jobs: - build: - uses: ./.github/workflows/common.yml - with: - runs_on: windows-latest - platform: mingw - compiler_ref: refs/tags/5.0.0 - options: bytecode-only - timeout: 240 diff --git a/.github/workflows/mingw-500.yml b/.github/workflows/mingw-500.yml deleted file mode 100644 index 6a2846714..000000000 --- a/.github/workflows/mingw-500.yml +++ /dev/null @@ -1,16 +0,0 @@ -name: MinGW 5.0.0 - -on: - schedule: - # Every Sunday morning, at 1:11 UTC - - cron: '11 1 * * 0' - workflow_dispatch: - -jobs: - build: - uses: ./.github/workflows/common.yml - with: - runs_on: windows-latest - platform: mingw - compiler_ref: refs/tags/5.0.0 - timeout: 240 diff --git a/.github/workflows/mingw-51x-bytecode.yml b/.github/workflows/mingw-51x-bytecode.yml deleted file mode 100644 index fc7601896..000000000 --- a/.github/workflows/mingw-51x-bytecode.yml +++ /dev/null @@ -1,17 +0,0 @@ -name: MinGW bytecode 5.1 - -on: - schedule: - # Every Sunday morning, at 2:22 UTC - - cron: '22 2 * * 0' - workflow_dispatch: - -jobs: - build: - uses: ./.github/workflows/common.yml - with: - runs_on: windows-latest - platform: mingw - compiler_ref: refs/tags/5.1.1 - options: bytecode-only - timeout: 240 diff --git a/.github/workflows/mingw-51x.yml b/.github/workflows/mingw-51x.yml deleted file mode 100644 index 78bdc632c..000000000 --- a/.github/workflows/mingw-51x.yml +++ /dev/null @@ -1,16 +0,0 @@ -name: MinGW 5.1 - -on: - schedule: - # Every Sunday morning, at 2:22 UTC - - cron: '22 2 * * 0' - workflow_dispatch: - -jobs: - build: - uses: ./.github/workflows/common.yml - with: - runs_on: windows-latest - platform: mingw - compiler_ref: refs/tags/5.1.1 - timeout: 240 diff --git a/.github/workflows/mingw-520-bytecode.yml b/.github/workflows/mingw-520-bytecode.yml deleted file mode 100644 index 07784d974..000000000 --- a/.github/workflows/mingw-520-bytecode.yml +++ /dev/null @@ -1,21 +0,0 @@ -name: MinGW bytecode 5.2 - -on: - schedule: - # Every Monday morning, at 1:11 UTC - - cron: '11 1 * * 1' - pull_request: - push: - branches: - - main - workflow_dispatch: - -jobs: - build: - uses: ./.github/workflows/common.yml - with: - runs_on: windows-latest - platform: mingw - compiler_ref: refs/tags/5.2.0 - options: bytecode-only - timeout: 240 diff --git a/.github/workflows/mingw-520.yml b/.github/workflows/mingw-520.yml deleted file mode 100644 index 2f803c483..000000000 --- a/.github/workflows/mingw-520.yml +++ /dev/null @@ -1,20 +0,0 @@ -name: MinGW 5.2 - -on: - schedule: - # Every Monday morning, at 1:11 UTC - - cron: '11 1 * * 1' - pull_request: - push: - branches: - - main - workflow_dispatch: - -jobs: - build: - uses: ./.github/workflows/common.yml - with: - runs_on: windows-latest - platform: mingw - compiler_ref: refs/tags/5.2.0 - timeout: 240 diff --git a/.github/workflows/mingw-530-trunk-bytecode.yml b/.github/workflows/mingw-530-trunk-bytecode.yml deleted file mode 100644 index 753e21ca6..000000000 --- a/.github/workflows/mingw-530-trunk-bytecode.yml +++ /dev/null @@ -1,21 +0,0 @@ -name: MinGW bytecode 5.3 - -on: - schedule: - # Every Monday morning, at 2:22 UTC - - cron: '22 2 * * 1' - pull_request: - push: - branches: - - main - workflow_dispatch: - -jobs: - build: - uses: ./.github/workflows/common.yml - with: - runs_on: windows-latest - platform: mingw - compiler_ref: refs/heads/5.3 - options: bytecode-only - timeout: 240 diff --git a/.github/workflows/mingw-530-trunk.yml b/.github/workflows/mingw-530-trunk.yml deleted file mode 100644 index bc3e675ff..000000000 --- a/.github/workflows/mingw-530-trunk.yml +++ /dev/null @@ -1,20 +0,0 @@ -name: MinGW 5.3 - -on: - schedule: - # Every Monday morning, at 2:22 UTC - - cron: '22 2 * * 1' - pull_request: - push: - branches: - - main - workflow_dispatch: - -jobs: - build: - uses: ./.github/workflows/common.yml - with: - runs_on: windows-latest - platform: mingw - compiler_ref: refs/heads/5.3 - timeout: 240 diff --git a/.github/workflows/mingw-540-trunk-bytecode.yml b/.github/workflows/mingw-540-trunk-bytecode.yml deleted file mode 100644 index fdb811dae..000000000 --- a/.github/workflows/mingw-540-trunk-bytecode.yml +++ /dev/null @@ -1,21 +0,0 @@ -name: MinGW bytecode trunk - -on: - schedule: - # Every Monday morning, at 3:33 UTC - - cron: '33 3 * * 1' - pull_request: - push: - branches: - - main - workflow_dispatch: - -jobs: - build: - uses: ./.github/workflows/common.yml - with: - runs_on: windows-latest - platform: mingw - compiler_ref: refs/heads/trunk - options: bytecode-only - timeout: 240 diff --git a/.github/workflows/mingw-540-trunk.yml b/.github/workflows/mingw-540-trunk.yml deleted file mode 100644 index af3abfc6b..000000000 --- a/.github/workflows/mingw-540-trunk.yml +++ /dev/null @@ -1,20 +0,0 @@ -name: MinGW trunk - -on: - schedule: - # Every Monday morning, at 3:33 UTC - - cron: '33 3 * * 1' - pull_request: - push: - branches: - - main - workflow_dispatch: - -jobs: - build: - uses: ./.github/workflows/common.yml - with: - runs_on: windows-latest - platform: mingw - compiler_ref: refs/heads/trunk - timeout: 240 diff --git a/.github/workflows/msvc-530-trunk-bytecode.yml b/.github/workflows/msvc-530-trunk-bytecode.yml deleted file mode 100644 index 04916c726..000000000 --- a/.github/workflows/msvc-530-trunk-bytecode.yml +++ /dev/null @@ -1,20 +0,0 @@ -name: MSVC bytecode 5.3 - -on: - schedule: - # Every Monday morning, at 2:22 UTC - - cron: '22 2 * * 1' - pull_request: - push: - branches: - - main - workflow_dispatch: - -jobs: - build: - uses: ./.github/workflows/common.yml - with: - runs_on: windows-latest - platform: msvc - compiler_ref: refs/heads/5.3 - options: bytecode-only diff --git a/.github/workflows/msvc-540-trunk-bytecode.yml b/.github/workflows/msvc-540-trunk-bytecode.yml deleted file mode 100644 index b32e1270d..000000000 --- a/.github/workflows/msvc-540-trunk-bytecode.yml +++ /dev/null @@ -1,20 +0,0 @@ -name: MSVC bytecode trunk - -on: - schedule: - # Every Monday morning, at 3:33 UTC - - cron: '33 3 * * 1' - pull_request: - push: - branches: - - main - workflow_dispatch: - -jobs: - build: - uses: ./.github/workflows/common.yml - with: - runs_on: windows-latest - platform: msvc - compiler_ref: refs/heads/trunk - options: bytecode-only diff --git a/.github/workflows/opam.yml b/.github/workflows/opam.yml deleted file mode 100644 index ded1b47ca..000000000 --- a/.github/workflows/opam.yml +++ /dev/null @@ -1,51 +0,0 @@ -name: OPAM installation - -concurrency: - group: ${{ github.workflow }}-${{ github.head_ref || github.run_id }} - cancel-in-progress: true - -on: - pull_request: - push: - branches: - - main - workflow_dispatch: - -jobs: - build-and-test: - env: - QCHECK_MSG_INTERVAL: '60' - - strategy: - matrix: - ocaml-compiler: - - 4.12.x - - 4.13.x - - 4.14.x - - 5.0.0 - - 5.1.0 - - 5.2.0 - - ocaml-variants.5.3.0+trunk - - runs-on: ubuntu-latest - - steps: - - name: Checkout code - uses: actions/checkout@v4 - - - name: Install OCaml compiler - uses: ocaml/setup-ocaml@v2 - with: - ocaml-compiler: ${{ matrix.ocaml-compiler }} - opam-depext: false - - - name: Test installation of the OPAM packages - run: | - opam install --with-test ./qcheck-multicoretests-util.opam ./qcheck-lin.opam ./qcheck-stm.opam - - - name: Show configuration - run: | - opam exec -- ocamlc -config - opam config list - opam exec -- dune printenv - opam list --columns=name,installed-version,repository,synopsis-or-target