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

ci: add PR validation and auto labeling #237

Merged
merged 1 commit into from
Mar 6, 2025
Merged

Conversation

chr-hertel
Copy link
Member

No description provided.

@chr-hertel chr-hertel force-pushed the ci-pr-validation branch 3 times, most recently from d329ed2 to fd48c5d Compare March 6, 2025 18:18
@github-actions github-actions bot added the CI/CD Pipeline & tooling label Mar 6, 2025
@chr-hertel
Copy link
Member Author

@OskarStark maybe in combination with an action and also adding labels by default?

@chr-hertel
Copy link
Member Author

@llupa are you using something similar?

@chr-hertel chr-hertel force-pushed the ci-pr-validation branch 2 times, most recently from c34cbc3 to af0ffb3 Compare March 6, 2025 18:24
@llupa
Copy link

llupa commented Mar 6, 2025

@llupa are you using something similar?

This action looks so much better than what we did back in 2023, I might use it myself :D (with fewer types for the API project you saw last week).

@chr-hertel chr-hertel merged commit b71864f into main Mar 6, 2025
7 checks passed
@chr-hertel chr-hertel deleted the ci-pr-validation branch March 6, 2025 19:24
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
CI/CD Pipeline & tooling
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants