feat: add binary type support for host functions #7
This file contains hidden or 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: Ready-for-review label | ||
| # When a pull-request changes state (closed, converted to draft) or a review is submitted/dismissed, | ||
| # run the `manage-ready-for-review.yml` workflow, to remove the | ||
| # "ready-for-review" label from a PR if its no longer needed. | ||
| # | ||
| # `pull_request_target` (rather than `pull_request`) is required so that the job | ||
| # has a read/write token for pull requests opened from forks. This is safe here | ||
| # because the reusable workflow never checks out or executes pull-request code. | ||
| # | ||
| # The label removal workflow lives in hyperlight-dev's `.github` repository. To apply this workflow | ||
| # to another repository, copy this file to that repo. | ||
| on: | ||
| pull_request_target: | ||
| types: [closed, converted_to_draft] | ||
| pull_request_review: | ||
| types: [submitted, dismissed] | ||
| # Serialise runs per pull request so that concurrent events cannot race. | ||
| concurrency: | ||
| group: ready-for-review-${{ github.event.pull_request.number }} | ||
| cancel-in-progress: false | ||
| permissions: | ||
| contents: read | ||
| pull-requests: read | ||
| issues: write | ||
| jobs: | ||
| manage-label: | ||
|
Check failure on line 29 in .github/workflows/ready-for-review-label.yml
|
||
| # Shared workflow in the org-wide `.github` repository, pinned to a commit SHA | ||
| uses: hyperlight-dev/.github/.github/workflows/manage-ready-for-review.yml@55e0ed4457b40f371ec9b6f2828397b09a833a43 | ||
| with: | ||
| pr-number: ${{ github.event.pull_request.number }} | ||
