Skip to content

Switch to a more well-maintained action for the dispatch#84

Merged
josephschorr merged 1 commit intoauthzed:mainfrom
josephschorr:switch-actions
Sep 7, 2023
Merged

Switch to a more well-maintained action for the dispatch#84
josephschorr merged 1 commit intoauthzed:mainfrom
josephschorr:switch-actions

Conversation

@josephschorr
Copy link
Copy Markdown
Member

No description provided.

@josephschorr josephschorr requested a review from samkim September 7, 2023 18:40
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 329e867 into authzed:main Sep 7, 2023
@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.

2 participants