From e35fe117bdb96e38de9cce5be5ac62e85fcec89b Mon Sep 17 00:00:00 2001 From: Raja Boujbel Date: Mon, 21 Oct 2024 17:09:15 +0200 Subject: [PATCH] rm --- .github/workflows/changelog_check.yml | 12 -- .github/workflows/depexts.yml | 201 -------------------------- .github/workflows/scripts.yml | 29 ---- 3 files changed, 242 deletions(-) delete mode 100644 .github/workflows/changelog_check.yml delete mode 100644 .github/workflows/depexts.yml delete mode 100644 .github/workflows/scripts.yml diff --git a/.github/workflows/changelog_check.yml b/.github/workflows/changelog_check.yml deleted file mode 100644 index f1a657a839f..00000000000 --- a/.github/workflows/changelog_check.yml +++ /dev/null @@ -1,12 +0,0 @@ -name: Changelog check - -on: - pull_request: - branches: master - -jobs: - diff: - runs-on: ubuntu-latest - steps: - - uses: actions/checkout@v3 - - run: bash .github/scripts/changelog/checker.sh diff --git a/.github/workflows/depexts.yml b/.github/workflows/depexts.yml deleted file mode 100644 index 88355bd2f5b..00000000000 --- a/.github/workflows/depexts.yml +++ /dev/null @@ -1,201 +0,0 @@ -name: depexts - -on: - pull_request: - paths: - - 'src/state/opamSysInteract.ml' - - '.github/workflows/depexts.yml' - - '.github/scripts/depexts/**' - push: - paths: - - 'master' - - '2.**' - -defaults: - run: - shell: bash - -env: - OPAMVERSION: 2.1.6 - OPAM_REPO: https://github.com/ocaml/opam-repository.git - OPAM_REPO_SHA: 6eee105e52e098e36949a584c053a18bcb9b2f6b - -jobs: - opam-cache: - runs-on: ubuntu-latest - steps: - - name: opam binary cache - id: binary - uses: actions/cache@v4 - with: - path: binary/opam - key: binary-${{ env.OPAMVERSION }} - - name: Retrieve opam binary - if: steps.binary.outputs.cache-hit != 'true' - run: | - rm -rf binary - mkdir -p binary - wget https://github.com/ocaml/opam/releases/download/$OPAMVERSION/opam-$OPAMVERSION-x86_64-linux -q -O binary/opam - chmod +x binary/opam - - depexts-alpine: - needs: opam-cache - runs-on: ubuntu-latest - steps: - - name: Checkout - uses: actions/checkout@v4 - - name: opam binary cache - uses: actions/cache@v4 - with: - path: binary/opam - key: binary-${{ env.OPAMVERSION }} - - name: generate action - run: | - bash .github/scripts/depexts/generate-actions.sh alpine - - name: depexts actions alpine - uses: ./.github/actions/alpine - id: depexts-alpine - - depexts-archlinux: - needs: opam-cache - runs-on: ubuntu-latest - steps: - - name: Checkout - uses: actions/checkout@v4 - - name: opam binary cache - uses: actions/cache@v4 - with: - path: binary/opam - key: binary-${{ env.OPAMVERSION }} - - name: generate action - run: | - bash .github/scripts/depexts/generate-actions.sh archlinux - - name: depexts actions archlinux - uses: ./.github/actions/archlinux - id: depexts-archlinux - - depexts-centos: - needs: opam-cache - runs-on: ubuntu-latest - steps: - - name: Checkout - uses: actions/checkout@v4 - - name: opam binary cache - uses: actions/cache@v4 - with: - path: binary/opam - key: binary-${{ env.OPAMVERSION }} - - name: generate action - run: | - bash .github/scripts/depexts/generate-actions.sh centos - - name: depexts actions centos - uses: ./.github/actions/centos - id: depexts-centos - - depexts-debian: - needs: opam-cache - runs-on: ubuntu-latest - steps: - - name: Checkout - uses: actions/checkout@v4 - - name: opam binary cache - uses: actions/cache@v4 - with: - path: binary/opam - key: binary-${{ env.OPAMVERSION }} - - name: generate action - run: | - bash .github/scripts/depexts/generate-actions.sh debian - - name: depexts actions debian - uses: ./.github/actions/debian - id: depexts-debian - - depexts-fedora: - needs: opam-cache - runs-on: ubuntu-latest - steps: - - name: Checkout - uses: actions/checkout@v4 - - name: opam binary cache - uses: actions/cache@v4 - with: - path: binary/opam - key: binary-${{ env.OPAMVERSION }} - - name: generate action - run: | - bash .github/scripts/depexts/generate-actions.sh fedora - - name: depexts actions fedora - uses: ./.github/actions/fedora - id: depexts-fedora - - depexts-gentoo: - needs: opam-cache - runs-on: ubuntu-latest - steps: - - name: Checkout - uses: actions/checkout@v4 - - name: opam binary cache - uses: actions/cache@v4 - with: - path: binary/opam - key: binary-${{ env.OPAMVERSION }} - - name: generate action - run: | - bash .github/scripts/depexts/generate-actions.sh gentoo - - name: depexts actions gentoo - uses: ./.github/actions/gentoo - id: depexts-gentoo - - depexts-opensuse: - needs: opam-cache - runs-on: ubuntu-latest - steps: - - name: Checkout - uses: actions/checkout@v4 - - name: opam binary cache - uses: actions/cache@v4 - with: - path: binary/opam - key: binary-${{ env.OPAMVERSION }} - - name: generate action - run: | - bash .github/scripts/depexts/generate-actions.sh opensuse - - name: depexts actions opensuse - uses: ./.github/actions/opensuse - id: depexts-opensuse - - depexts-oraclelinux: - needs: opam-cache - runs-on: ubuntu-latest - steps: - - name: Checkout - uses: actions/checkout@v4 - - name: opam binary cache - uses: actions/cache@v4 - with: - path: binary/opam - key: binary-${{ env.OPAMVERSION }} - - name: generate action - run: | - bash .github/scripts/depexts/generate-actions.sh oraclelinux - - name: depexts actions oraclelinux - uses: ./.github/actions/oraclelinux - id: depexts-oraclelinux - - depexts-ubuntu: - needs: opam-cache - runs-on: ubuntu-latest - steps: - - name: Checkout - uses: actions/checkout@v4 - - name: opam binary cache - uses: actions/cache@v4 - with: - path: binary/opam - key: binary-${{ env.OPAMVERSION }} - - name: generate action - run: | - bash .github/scripts/depexts/generate-actions.sh ubuntu - - name: depexts actions ubuntu - uses: ./.github/actions/ubuntu - id: depexts-ubuntu diff --git a/.github/workflows/scripts.yml b/.github/workflows/scripts.yml deleted file mode 100644 index 3ccce0761d1..00000000000 --- a/.github/workflows/scripts.yml +++ /dev/null @@ -1,29 +0,0 @@ -name: Test scripts - -on: - pull_request: - paths: - - 'shell/install.sh' - - '.github/workflows/scripts.yml' - - '.github/scripts/scripts/hygiene.sh' - - '.github/scripts/common/hygiene-preamble.sh' - push: - branches: - - 'master' - - '2.**' - -defaults: - run: - shell: bash - -jobs: - hygiene-scripts: - runs-on: ubuntu-latest - steps: - - uses: actions/checkout@v3 - - name: Check scripts - env: - # Defined only on pull request jobs - BASE_REF_SHA: ${{ github.event.pull_request.base.sha }} - PR_REF_SHA: ${{ github.event.pull_request.head.sha }} - run: bash -exu .github/scripts/scripts/hygiene.sh