From 5dfa15acf560612dd0cb1b86ceab1d794996e4a9 Mon Sep 17 00:00:00 2001 From: Jan Midtgaard Date: Mon, 3 Jun 2024 10:53:22 +0200 Subject: [PATCH] REMOVE ME: rm irrelevant workflows --- .github/workflows/cygwin-51x.yml | 16 -- .github/workflows/cygwin-520.yml | 17 --- .github/workflows/cygwin-530-trunk.yml | 18 --- .github/workflows/gh-pages.yml | 42 ----- .github/workflows/linux-500-32bit.yml | 14 -- .github/workflows/linux-500-bytecode.yml | 14 -- .github/workflows/linux-500-debug.yml | 15 -- .github/workflows/linux-500.yml | 12 -- .github/workflows/linux-51x-32bit.yml | 14 -- .github/workflows/linux-51x-bytecode.yml | 14 -- .github/workflows/linux-51x-debug.yml | 16 -- .github/workflows/linux-51x-fp.yml | 14 -- .github/workflows/linux-51x.yml | 13 -- .github/workflows/linux-520-32bit.yml | 15 -- .github/workflows/linux-520-bytecode.yml | 15 -- .github/workflows/linux-520-debug.yml | 17 --- .github/workflows/linux-520-fp.yml | 15 -- .github/workflows/linux-520.yml | 14 -- .github/workflows/linux-530-trunk-32bit.yml | 16 -- .../workflows/linux-530-trunk-bytecode.yml | 16 -- .github/workflows/linux-530-trunk-debug.yml | 18 --- .github/workflows/linux-530-trunk-fp.yml | 16 -- .github/workflows/linux-530-trunk.yml | 15 -- .github/workflows/macosx-arm64-500.yml | 13 -- .github/workflows/macosx-arm64-51x.yml | 14 -- .github/workflows/macosx-arm64-520.yml | 15 -- .github/workflows/macosx-arm64-530-trunk.yml | 16 -- .github/workflows/macosx-intel-500.yml | 13 -- .github/workflows/macosx-intel-51x.yml | 14 -- .github/workflows/macosx-intel-520.yml | 15 -- .github/workflows/macosx-intel-530-trunk.yml | 16 -- .github/workflows/mingw-500-bytecode.yml | 15 -- .github/workflows/mingw-500.yml | 15 -- .github/workflows/mingw-51x-bytecode.yml | 15 -- .github/workflows/mingw-51x.yml | 15 -- .github/workflows/mingw-520-bytecode.yml | 16 -- .github/workflows/mingw-520.yml | 16 -- .../workflows/mingw-530-trunk-bytecode.yml | 17 --- .github/workflows/mingw-530-trunk.yml | 17 --- .github/workflows/msvc-530-trunk-bytecode.yml | 14 -- .github/workflows/msvc-530-trunk.yml | 12 -- .github/workflows/msvc-common.yml | 144 ------------------ .github/workflows/opam.yml | 51 ------- 43 files changed, 839 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/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/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-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/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/msvc-530-trunk-bytecode.yml delete mode 100644 .github/workflows/msvc-530-trunk.yml delete mode 100644 .github/workflows/msvc-common.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 df8c6b4c6..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 - compiler: ocaml-variants.5.1.1+options+win - cygwin: true - timeout: 240 diff --git a/.github/workflows/cygwin-520.yml b/.github/workflows/cygwin-520.yml deleted file mode 100644 index 5e35d8357..000000000 --- a/.github/workflows/cygwin-520.yml +++ /dev/null @@ -1,17 +0,0 @@ -name: Cygwin 5.2 - -on: - pull_request: - push: - branches: - - main - workflow_dispatch: - -jobs: - build: - uses: ./.github/workflows/common.yml - with: - runs_on: windows-latest - compiler: ocaml-variants.5.2.0+options+win - cygwin: true - timeout: 240 diff --git a/.github/workflows/cygwin-530-trunk.yml b/.github/workflows/cygwin-530-trunk.yml deleted file mode 100644 index 5551247e6..000000000 --- a/.github/workflows/cygwin-530-trunk.yml +++ /dev/null @@ -1,18 +0,0 @@ -name: Cygwin trunk - -on: - pull_request: - push: - branches: - - main - workflow_dispatch: - -jobs: - build: - uses: ./.github/workflows/common.yml - with: - runs_on: windows-latest - compiler: ocaml.5.3.0 - cygwin: true - compiler_git_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 86587a258..000000000 --- a/.github/workflows/linux-500-32bit.yml +++ /dev/null @@ -1,14 +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: 'ocaml-variants.5.0.0+options,ocaml-option-32bit' - timeout: 240 diff --git a/.github/workflows/linux-500-bytecode.yml b/.github/workflows/linux-500-bytecode.yml deleted file mode 100644 index 1014e55d2..000000000 --- a/.github/workflows/linux-500-bytecode.yml +++ /dev/null @@ -1,14 +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: 'ocaml-variants.5.0.0+options,ocaml-option-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 7d1306088..000000000 --- a/.github/workflows/linux-500-debug.yml +++ /dev/null @@ -1,15 +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: - 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 d490668b3..000000000 --- a/.github/workflows/linux-500.yml +++ /dev/null @@ -1,12 +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 - # default diff --git a/.github/workflows/linux-51x-32bit.yml b/.github/workflows/linux-51x-32bit.yml deleted file mode 100644 index 160f441c9..000000000 --- a/.github/workflows/linux-51x-32bit.yml +++ /dev/null @@ -1,14 +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: 'ocaml-variants.5.1.1+options,ocaml-option-32bit' - timeout: 240 diff --git a/.github/workflows/linux-51x-bytecode.yml b/.github/workflows/linux-51x-bytecode.yml deleted file mode 100644 index 83532df3c..000000000 --- a/.github/workflows/linux-51x-bytecode.yml +++ /dev/null @@ -1,14 +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: 'ocaml-variants.5.1.1+options,ocaml-option-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 5a0ae1591..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: 'ocaml-base-compiler.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 c98fc25eb..000000000 --- a/.github/workflows/linux-51x-fp.yml +++ /dev/null @@ -1,14 +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: 'ocaml-variants.5.1.1+options,ocaml-option-fp' - timeout: 240 diff --git a/.github/workflows/linux-51x.yml b/.github/workflows/linux-51x.yml deleted file mode 100644 index bcc5624f6..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: 'ocaml-base-compiler.5.1.1' diff --git a/.github/workflows/linux-520-32bit.yml b/.github/workflows/linux-520-32bit.yml deleted file mode 100644 index 8209c29ea..000000000 --- a/.github/workflows/linux-520-32bit.yml +++ /dev/null @@ -1,15 +0,0 @@ -name: 32bit 5.2 - -on: - pull_request: - push: - branches: - - main - workflow_dispatch: - -jobs: - build: - uses: ./.github/workflows/common.yml - with: - compiler: 'ocaml-variants.5.2.0+options,ocaml-option-32bit' - timeout: 240 diff --git a/.github/workflows/linux-520-bytecode.yml b/.github/workflows/linux-520-bytecode.yml deleted file mode 100644 index ebfe71ede..000000000 --- a/.github/workflows/linux-520-bytecode.yml +++ /dev/null @@ -1,15 +0,0 @@ -name: Bytecode 5.2 - -on: - pull_request: - push: - branches: - - main - workflow_dispatch: - -jobs: - build: - uses: ./.github/workflows/common.yml - with: - compiler: 'ocaml-variants.5.2.0+options,ocaml-option-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 268ff91a8..000000000 --- a/.github/workflows/linux-520-debug.yml +++ /dev/null @@ -1,17 +0,0 @@ -name: Linux 5.2 debug - -on: - pull_request: - push: - branches: - - main - workflow_dispatch: - -jobs: - build: - uses: ./.github/workflows/common.yml - with: - compiler: 'ocaml-base-compiler.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 fd3532214..000000000 --- a/.github/workflows/linux-520-fp.yml +++ /dev/null @@ -1,15 +0,0 @@ -name: FP 5.2 - -on: - pull_request: - push: - branches: - - main - workflow_dispatch: - -jobs: - build: - uses: ./.github/workflows/common.yml - with: - compiler: 'ocaml-variants.5.2.0+options,ocaml-option-fp' - timeout: 240 diff --git a/.github/workflows/linux-520.yml b/.github/workflows/linux-520.yml deleted file mode 100644 index 496d83bdb..000000000 --- a/.github/workflows/linux-520.yml +++ /dev/null @@ -1,14 +0,0 @@ -name: Linux 5.2 - -on: - pull_request: - push: - branches: - - main - workflow_dispatch: - -jobs: - build: - uses: ./.github/workflows/common.yml - with: - compiler: 'ocaml-base-compiler.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 76134487f..000000000 --- a/.github/workflows/linux-530-trunk-32bit.yml +++ /dev/null @@ -1,16 +0,0 @@ -name: 32bit trunk - -on: - pull_request: - push: - branches: - - main - workflow_dispatch: - -jobs: - build: - uses: ./.github/workflows/common.yml - with: - compiler: 'ocaml-variants.5.3.0+trunk,ocaml-option-32bit' - compiler_git_ref: refs/heads/trunk - 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 41bf6c51c..000000000 --- a/.github/workflows/linux-530-trunk-bytecode.yml +++ /dev/null @@ -1,16 +0,0 @@ -name: Bytecode trunk - -on: - pull_request: - push: - branches: - - main - workflow_dispatch: - -jobs: - build: - uses: ./.github/workflows/common.yml - with: - compiler: 'ocaml-variants.5.3.0+trunk,ocaml-option-bytecode-only' - compiler_git_ref: refs/heads/trunk - 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 e48a7d7e2..000000000 --- a/.github/workflows/linux-530-trunk-debug.yml +++ /dev/null @@ -1,18 +0,0 @@ -name: Linux trunk debug - -on: - pull_request: - push: - branches: - - main - workflow_dispatch: - -jobs: - build: - uses: ./.github/workflows/common.yml - with: - compiler: 'ocaml-variants.5.3.0+trunk' - compiler_git_ref: refs/heads/trunk - 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 bdf1a9e97..000000000 --- a/.github/workflows/linux-530-trunk-fp.yml +++ /dev/null @@ -1,16 +0,0 @@ -name: FP trunk - -on: - pull_request: - push: - branches: - - main - workflow_dispatch: - -jobs: - build: - uses: ./.github/workflows/common.yml - with: - compiler: 'ocaml-variants.5.3.0+trunk,ocaml-option-fp' - compiler_git_ref: refs/heads/trunk - timeout: 240 diff --git a/.github/workflows/linux-530-trunk.yml b/.github/workflows/linux-530-trunk.yml deleted file mode 100644 index a53c412f7..000000000 --- a/.github/workflows/linux-530-trunk.yml +++ /dev/null @@ -1,15 +0,0 @@ -name: Linux trunk - -on: - pull_request: - push: - branches: - - main - workflow_dispatch: - -jobs: - build: - uses: ./.github/workflows/common.yml - with: - compiler: 'ocaml-variants.5.3.0+trunk' - compiler_git_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 6202766cd..000000000 --- a/.github/workflows/macosx-arm64-500.yml +++ /dev/null @@ -1,13 +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' diff --git a/.github/workflows/macosx-arm64-51x.yml b/.github/workflows/macosx-arm64-51x.yml deleted file mode 100644 index bfe137c7d..000000000 --- a/.github/workflows/macosx-arm64-51x.yml +++ /dev/null @@ -1,14 +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: - compiler: 'ocaml-base-compiler.5.1.1' - runs_on: 'macos-14' diff --git a/.github/workflows/macosx-arm64-520.yml b/.github/workflows/macosx-arm64-520.yml deleted file mode 100644 index c3ce401e1..000000000 --- a/.github/workflows/macosx-arm64-520.yml +++ /dev/null @@ -1,15 +0,0 @@ -name: macOS-ARM64 5.2 - -on: - pull_request: - push: - branches: - - main - workflow_dispatch: - -jobs: - build: - uses: ./.github/workflows/common.yml - with: - compiler: 'ocaml-base-compiler.5.2.0' - runs_on: 'macos-14' diff --git a/.github/workflows/macosx-arm64-530-trunk.yml b/.github/workflows/macosx-arm64-530-trunk.yml deleted file mode 100644 index 8a5bac99f..000000000 --- a/.github/workflows/macosx-arm64-530-trunk.yml +++ /dev/null @@ -1,16 +0,0 @@ -name: macOS-ARM64 trunk - -on: - pull_request: - push: - branches: - - main - workflow_dispatch: - -jobs: - build: - uses: ./.github/workflows/common.yml - with: - compiler: 'ocaml-variants.5.3.0+trunk' - compiler_git_ref: refs/heads/trunk - runs_on: 'macos-14' diff --git a/.github/workflows/macosx-intel-500.yml b/.github/workflows/macosx-intel-500.yml deleted file mode 100644 index 5adee673e..000000000 --- a/.github/workflows/macosx-intel-500.yml +++ /dev/null @@ -1,13 +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' diff --git a/.github/workflows/macosx-intel-51x.yml b/.github/workflows/macosx-intel-51x.yml deleted file mode 100644 index 286cfea45..000000000 --- a/.github/workflows/macosx-intel-51x.yml +++ /dev/null @@ -1,14 +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: - compiler: 'ocaml-base-compiler.5.1.1' - runs_on: 'macos-13' diff --git a/.github/workflows/macosx-intel-520.yml b/.github/workflows/macosx-intel-520.yml deleted file mode 100644 index 2d9be79ec..000000000 --- a/.github/workflows/macosx-intel-520.yml +++ /dev/null @@ -1,15 +0,0 @@ -name: macOS-intel 5.2 - -on: - pull_request: - push: - branches: - - main - workflow_dispatch: - -jobs: - build: - uses: ./.github/workflows/common.yml - with: - compiler: 'ocaml-base-compiler.5.2.0' - runs_on: 'macos-13' diff --git a/.github/workflows/macosx-intel-530-trunk.yml b/.github/workflows/macosx-intel-530-trunk.yml deleted file mode 100644 index badd35be2..000000000 --- a/.github/workflows/macosx-intel-530-trunk.yml +++ /dev/null @@ -1,16 +0,0 @@ -name: macOS-intel trunk - -on: - pull_request: - push: - branches: - - main - workflow_dispatch: - -jobs: - build: - uses: ./.github/workflows/common.yml - with: - compiler: 'ocaml-variants.5.3.0+trunk' - compiler_git_ref: refs/heads/trunk - runs_on: 'macos-13' diff --git a/.github/workflows/mingw-500-bytecode.yml b/.github/workflows/mingw-500-bytecode.yml deleted file mode 100644 index d7c2af561..000000000 --- a/.github/workflows/mingw-500-bytecode.yml +++ /dev/null @@ -1,15 +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 - compiler: ocaml.5.0.0,ocaml-option-mingw,ocaml-option-bytecode-only - timeout: 240 diff --git a/.github/workflows/mingw-500.yml b/.github/workflows/mingw-500.yml deleted file mode 100644 index fa4280550..000000000 --- a/.github/workflows/mingw-500.yml +++ /dev/null @@ -1,15 +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 - compiler: ocaml.5.0.0,ocaml-option-mingw - timeout: 240 diff --git a/.github/workflows/mingw-51x-bytecode.yml b/.github/workflows/mingw-51x-bytecode.yml deleted file mode 100644 index bee386453..000000000 --- a/.github/workflows/mingw-51x-bytecode.yml +++ /dev/null @@ -1,15 +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 - compiler: ocaml-variants.5.1.1+options+win,ocaml-option-mingw,ocaml-option-bytecode-only - timeout: 240 diff --git a/.github/workflows/mingw-51x.yml b/.github/workflows/mingw-51x.yml deleted file mode 100644 index ba83c6cb8..000000000 --- a/.github/workflows/mingw-51x.yml +++ /dev/null @@ -1,15 +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 - compiler: ocaml-variants.5.1.1+options+win,ocaml-option-mingw - timeout: 240 diff --git a/.github/workflows/mingw-520-bytecode.yml b/.github/workflows/mingw-520-bytecode.yml deleted file mode 100644 index 758d3d527..000000000 --- a/.github/workflows/mingw-520-bytecode.yml +++ /dev/null @@ -1,16 +0,0 @@ -name: MinGW bytecode 5.2 - -on: - pull_request: - push: - branches: - - main - workflow_dispatch: - -jobs: - build: - uses: ./.github/workflows/common.yml - with: - runs_on: windows-latest - compiler: ocaml-variants.5.2.0+options+win,ocaml-option-mingw,ocaml-option-bytecode-only - timeout: 240 diff --git a/.github/workflows/mingw-520.yml b/.github/workflows/mingw-520.yml deleted file mode 100644 index 29b2561f0..000000000 --- a/.github/workflows/mingw-520.yml +++ /dev/null @@ -1,16 +0,0 @@ -name: MinGW 5.2 - -on: - pull_request: - push: - branches: - - main - workflow_dispatch: - -jobs: - build: - uses: ./.github/workflows/common.yml - with: - runs_on: windows-latest - compiler: ocaml-variants.5.2.0+options+win,ocaml-option-mingw - 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 a4c1b641a..000000000 --- a/.github/workflows/mingw-530-trunk-bytecode.yml +++ /dev/null @@ -1,17 +0,0 @@ -name: MinGW bytecode trunk - -on: - pull_request: - push: - branches: - - main - workflow_dispatch: - -jobs: - build: - uses: ./.github/workflows/common.yml - with: - runs_on: windows-latest - compiler: ocaml.5.3.0,ocaml-option-mingw,ocaml-option-bytecode-only - compiler_git_ref: refs/heads/trunk - timeout: 240 diff --git a/.github/workflows/mingw-530-trunk.yml b/.github/workflows/mingw-530-trunk.yml deleted file mode 100644 index 14e2c17f2..000000000 --- a/.github/workflows/mingw-530-trunk.yml +++ /dev/null @@ -1,17 +0,0 @@ -name: MinGW trunk - -on: - pull_request: - push: - branches: - - main - workflow_dispatch: - -jobs: - build: - uses: ./.github/workflows/common.yml - with: - runs_on: windows-latest - compiler: ocaml.5.3.0,ocaml-option-mingw - compiler_git_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 d2a548d62..000000000 --- a/.github/workflows/msvc-530-trunk-bytecode.yml +++ /dev/null @@ -1,14 +0,0 @@ -name: MSVC bytecode trunk - -on: - pull_request: - push: - branches: - - main - workflow_dispatch: - -jobs: - build: - uses: ./.github/workflows/msvc-common.yml - with: - bytecodeonly: true diff --git a/.github/workflows/msvc-530-trunk.yml b/.github/workflows/msvc-530-trunk.yml deleted file mode 100644 index 2966edefc..000000000 --- a/.github/workflows/msvc-530-trunk.yml +++ /dev/null @@ -1,12 +0,0 @@ -name: MSVC trunk - -on: - pull_request: - push: - branches: - - main - workflow_dispatch: - -jobs: - build: - uses: ./.github/workflows/msvc-common.yml diff --git a/.github/workflows/msvc-common.yml b/.github/workflows/msvc-common.yml deleted file mode 100644 index de7aca80a..000000000 --- a/.github/workflows/msvc-common.yml +++ /dev/null @@ -1,144 +0,0 @@ -name: Common MSVC CI workflow - -concurrency: - group: ${{ github.workflow }}-${{ github.head_ref || github.run_id }} - cancel-in-progress: true - -on: - workflow_call: - inputs: - bytecodeonly: - type: boolean - default: false - dune_alias: - description: 'dune alias that should be built in the main step' - type: string - default: 'runtest' - -jobs: - build: - permissions: {} - - runs-on: windows-latest - - steps: - - name: Save pristine PATH - id: pristine - run: | - echo "pristine_path=${env:Path}" >> "${env:GITHUB_OUTPUT}" - - - name: Set up MSVC - uses: ilammy/msvc-dev-cmd@v1 - - - name: Fetch OCaml - uses: actions/checkout@v4 - with: - repository: ocaml/ocaml - ref: trunk - path: ocaml - submodules: true - - - name: Choose a cache key - id: key - env: - BC_KEY_PART: ${{ inputs.bytecodeonly && '-bytecode' || '' }} - run: | - git -C ocaml rev-parse HEAD | Tee-Object -Variable sha - echo "cache_key=ocaml-msvc${env:BC_KEY_PART}-${sha}" | Tee-Object -FilePath "${env:GITHUB_OUTPUT}" - - - name: Restore cache - uses: actions/cache/restore@v3 - id: cache - env: - PATH: ${{ steps.pristine.outputs.pristine_path }} - with: - path: | - C:\cygwin-packages - D:\ocaml - key: ${{ steps.key.outputs.cache_key }} - - - name: Install Cygwin (Cygwin) - uses: cygwin/cygwin-install-action@v3 - with: - packages: make,bash - install-dir: 'D:\cygwin' - - - name: Build OCaml - shell: bash -e {0} - env: - NATIVE: ${{ inputs.bytecodeonly && '--disable-native-compiler' || '' }} - run: | - cd ocaml # - mkdir /cygdrive/d/ocaml # - eval $(tools/msvs-promote-path) # - ./configure --host=x86_64-pc-windows --with-flexdll --prefix=/cygdrive/d/ocaml $NATIVE # - make # - make install # - if: "steps.cache.outputs.cache-hit != 'true'" - - - name: Fetch dune - uses: actions/checkout@v4 - with: - repository: ocaml/dune - path: dune - if: "steps.cache.outputs.cache-hit != 'true'" - - - name: Compile dune - shell: bash -e {0} - run: | - export PATH="/cygdrive/d/ocaml/bin:$PATH" # - eval $(ocaml/tools/msvs-promote-path) # - export INCLUDE="$INCLUDE;$(cygpath -w "$PWD/ocaml/runtime/winpthreads/include")" # - cd dune # - make release # - make install PREFIX='D:\ocaml' # - if: "steps.cache.outputs.cache-hit != 'true'" - - - name: Display configuration and set up PATH - run: | - D:\ocaml\bin\ocamlc -config - D:\ocaml\bin\dune --version - echo "D:\ocaml\bin" >> ${env:GITHUB_PATH} - - - name: Save cache - uses: actions/cache/save@v3 - env: - PATH: ${{ steps.pristine.outputs.pristine_path }} - with: - path: | - C:\cygwin-packages - D:\ocaml - key: ${{ steps.key.outputs.cache_key }} - if: "steps.cache.outputs.cache-hit != 'true'" - - - name: Fetch multicoretests - uses: actions/checkout@v4 - with: - path: mct - - - name: Fetch QCheck - uses: actions/checkout@v4 - with: - repository: c-cube/qcheck - path: mct/qcheck - - - name: Build the test suite - shell: bash -e {0} - run: | - eval $(ocaml/tools/msvs-promote-path) # - cd mct # - dune build # - dune build test/ # - - - name: Run the internal package tests - run: | - cd mct - dune runtest -j1 --no-buffer --display=quiet --cache=disabled --error-reporting=twice test/ - - - name: Run the multicore test suite - env: - QCHECK_MSG_INTERVAL: 60 - DUNE_CI_ALIAS: ${{ inputs.dune_alias }} - run: | - cd mct - dune build "@ci" -j1 --no-buffer --display=quiet --cache=disabled --error-reporting=twice 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