diff options
| author | Alex Rønne Petersen <alex@alexrp.com> | 2025-08-08 17:08:14 +0200 |
|---|---|---|
| committer | Alex Rønne Petersen <alex@alexrp.com> | 2025-08-08 17:08:14 +0200 |
| commit | 87f2dadbf19cd9b6d54c76d7a35df3328f1ffc53 (patch) | |
| tree | de860d102e6142c6e80871fc7a7c6ebe44e1563a /.github | |
| parent | ac3229a43573c14d619a16eb055f6bf05f580636 (diff) | |
| download | zig-87f2dadbf19cd9b6d54c76d7a35df3328f1ffc53.tar.gz zig-87f2dadbf19cd9b6d54c76d7a35df3328f1ffc53.zip | |
ci: run riscv64-linux jobs if ci-riscv64-linux label is applied
This needs to be a separate workflow so that it doesn't interfere with non-CI
labeling of pull requests.
Diffstat (limited to '.github')
| -rw-r--r-- | .github/workflows/ci-pr-riscv64-linux.yaml | 34 |
1 files changed, 34 insertions, 0 deletions
diff --git a/.github/workflows/ci-pr-riscv64-linux.yaml b/.github/workflows/ci-pr-riscv64-linux.yaml new file mode 100644 index 0000000000..77c69e31c8 --- /dev/null +++ b/.github/workflows/ci-pr-riscv64-linux.yaml @@ -0,0 +1,34 @@ +name: ci-pr-riscv64-linux +on: + pull_request: + types: + - labeled + - opened + - reopened + - synchronize +concurrency: + # Cancels pending runs when a PR gets updated. + group: ${{ github.head_ref || github.run_id }}-${{ github.actor }} + cancel-in-progress: true +permissions: + # Sets permission policy for `GITHUB_TOKEN` + contents: read +jobs: + riscv64-linux-debug: + if: contains(github.event.pull_request.labels.*.name, 'ci-riscv64-linux') + timeout-minutes: 420 + runs-on: [self-hosted, Linux, riscv64] + steps: + - name: Checkout + uses: actions/checkout@v4 + - name: Build and Test + run: sh ci/riscv64-linux-debug.sh + riscv64-linux-release: + if: contains(github.event.pull_request.labels.*.name, 'ci-riscv64-linux') + timeout-minutes: 420 + runs-on: [self-hosted, Linux, riscv64] + steps: + - name: Checkout + uses: actions/checkout@v4 + - name: Build and Test + run: sh ci/riscv64-linux-release.sh |