Skip to content

Add missing input to manual CI invoke#82

Merged
josephschorr merged 1 commit intoauthzed:mainfrom
josephschorr:add-missing-input
Sep 7, 2023
Merged

Add missing input to manual CI invoke#82
josephschorr merged 1 commit intoauthzed:mainfrom
josephschorr:add-missing-input

Conversation

@josephschorr
Copy link
Copy Markdown
Member

No description provided.

@josephschorr josephschorr requested a review from samkim September 7, 2023 18:06
Copy link
Copy Markdown
Member

@samkim samkim left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

LGTM

@josephschorr josephschorr merged commit c9348c4 into authzed:main Sep 7, 2023
@josephschorr josephschorr deleted the add-missing-input branch September 7, 2023 18:18
@github-actions github-actions bot locked and limited conversation to collaborators Sep 7, 2023
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants