Fix warnings for lifetime in MmapAnnotation impl #560
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
| name: Minimal tests - bindings | |
| on: | |
| pull_request: | |
| branches: | |
| - master | |
| merge_group: | |
| branches: | |
| - master | |
| concurrency: | |
| # Cancels pending runs when a PR gets updated. | |
| group: ${{ github.workflow }}-${{ github.head_ref || github.run_id }} | |
| cancel-in-progress: true | |
| jobs: | |
| # The workflow will be triggered once a PR is opened, and at that point, we do not have chance to specify which binding repo to use. | |
| # This step allows 2mins before we check comments for binding repos/refs. | |
| grace-period: | |
| runs-on: ubuntu-latest | |
| outputs: | |
| pr-number: ${{ steps.set-output.outputs.pr-number }} | |
| steps: | |
| # This workflow runs for both merge_group and pull_request | |
| # We need a way to get the pull request number that works for both cases. | |
| # The action can do that. | |
| - id: get-pr-number | |
| uses: mgaitan/gha-get-pr-number@main | |
| # This job also outputs the PR number | |
| - id: set-output | |
| run: echo "pr-number=${{ steps.get-pr-number.outputs.number }}" >> $GITHUB_OUTPUT | |
| # Sleep for 2 mins | |
| - run: sleep 120 | |
| # Figure out binding PRs. | |
| binding-refs: | |
| needs: grace-period | |
| uses: ./.github/workflows/pr-binding-refs.yml | |
| with: | |
| pull_request: ${{ needs.grace-period.outputs.pr-number }} | |
| minimal-tests-openjdk: | |
| needs: binding-refs | |
| uses: ./.github/workflows/binding-tests-openjdk.yml | |
| with: | |
| repo: ${{ needs.binding-refs.outputs.openjdk_binding_repo }} | |
| ref: ${{ needs.binding-refs.outputs.openjdk_binding_ref }} | |
| test-script: ci-test-minimal.sh |