Skip to content

Conversation

@simongdavies
Copy link
Contributor

Fixes checkout and push as per https://github.com/actions/checkout?tab=readme-ov-file#push-a-commit-to-a-pr-using-the-built-in-token

Requests content write permission

Renames job to reflect changes

Rename job

Update GH user email address

Get contents write permission

Signed-off-by: Simon Davies <[email protected]>
@simongdavies simongdavies added the area/infrastructure Concerns infrastructure rather than core functionality label Feb 4, 2025
@simongdavies simongdavies merged commit da37ab7 into hyperlight-dev:main Feb 4, 2025
22 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

area/infrastructure Concerns infrastructure rather than core functionality

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants