Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Use pipeline tasks, use pr/main/tag release #473

Merged
merged 1 commit into from
Jun 20, 2024
Merged

Conversation

drewbo
Copy link
Contributor

@drewbo drewbo commented Jun 20, 2024

Changes proposed in this pull request:

security considerations

None

@drewbo drewbo requested a review from a team June 20, 2024 19:51
@drewbo drewbo force-pushed the chore-pipeline-release branch from c4688e1 to 96f88ad Compare June 20, 2024 20:37
@drewbo drewbo merged commit c54243c into main Jun 20, 2024
5 checks passed
@drewbo drewbo deleted the chore-pipeline-release branch June 20, 2024 21:50
@drewbo drewbo mentioned this pull request Jun 25, 2024
5 tasks
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