Skip to content

Conversation

romange
Copy link
Collaborator

@romange romange commented Aug 31, 2023

Also, use GITHUB_WORKSPACE due to actions/runner#2058

Also, use GITHUB_WORKSPACE due to actions/runner#2058

Signed-off-by: Roman Gershman <[email protected]>
@romange romange merged commit 5ef8087 into main Aug 31, 2023
@romange romange deleted the Pr1 branch August 31, 2023 20:23
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants