Proof-of-concept Nix environments for Ibex development #95
Workflow file for this run
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| # Copyright lowRISC contributors. | |
| # Licensed under the Apache License, Version 2.0, see LICENSE for details. | |
| # SPDX-License-Identifier: Apache-2.0 | |
| name: Ibex Private CI | |
| on: | |
| push: | |
| tags: | |
| - "*" | |
| merge_group: | |
| types: | |
| - checks_requested | |
| pull_request_target: | |
| branches: | |
| - "*" | |
| permissions: | |
| statuses: write | |
| jobs: | |
| trigger: | |
| name: Trigger Private CI | |
| runs-on: ubuntu-latest | |
| steps: | |
| # Find a merge commit. We cannot use merge_commit_sha from context directly because | |
| # mergeability check is asynchronous to pull_request_target trigger.. | |
| - name: Find the merge commit | |
| id: merge | |
| if: github.event_name == 'pull_request_target' | |
| uses: actions/github-script@v7 | |
| with: | |
| script: | | |
| for (let i = 0; i <= 5; i++) { | |
| const { data: pr } = await github.rest.pulls.get({ | |
| owner: context.repo.owner, | |
| repo: context.repo.repo, | |
| pull_number: context.issue.number, | |
| }); | |
| if (i != 5 && pr.mergeable == null) { | |
| console.log("Mergeability check in progress"); | |
| await new Promise(r => setTimeout(r, 2000)); | |
| continue; | |
| } | |
| if (pr.mergeable) { | |
| core.setOutput('merge_sha', pr.merge_commit_sha); | |
| } else { | |
| core.setFailed('Pull request is not mergeable'); | |
| } | |
| break; | |
| } | |
| # Create pending statuses to block merge group and give indication before jobs are picked up. | |
| - name: Create pending statuses | |
| run: | | |
| gh api --method POST \ | |
| -H "Accept: application/vnd.github+json" \ | |
| -H "X-GitHub-Api-Version: 2022-11-28" \ | |
| /repos/${{ github.repository }}/statuses/${{ github.event.pull_request.head.sha || github.sha }} \ | |
| -f state='pending' \ | |
| -f context='Ibex Private CI' \ | |
| -f description='Queued' | |
| env: | |
| GITHUB_TOKEN: ${{ github.token }} | |
| - name: Trigger Private CI | |
| run: | | |
| gh workflow run ibex-private-ci.yml --repo lowRISC/lowrisc-private-ci \ | |
| -f ref="${{ github.event.pull_request.head.sha || github.sha }}" \ | |
| -f sha="${{ steps.merge.outputs.merge_sha || github.sha }}" | |
| env: | |
| GITHUB_TOKEN: ${{ secrets.LOWRISC_PRIVATE_CI_PAT }} |