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

Fast CI on "assemble release" PRs #660

Merged
merged 5 commits into from
Mar 14, 2024
Merged

Fast CI on "assemble release" PRs #660

merged 5 commits into from
Mar 14, 2024

Conversation

mitjat
Copy link
Contributor

@mitjat mitjat commented Mar 13, 2024

With the new release flow (#584), we cut every release by creating a special PR that assembles the changelog fragments.
This makes it so that that PR doesn't need to undergo full CI, allowing us to cut releases quickly if needed.

Testing: Ran CI with and without including .github/** in the ignore list.

@mitjat mitjat force-pushed the mitjat/fast-release-ci branch from 65557b0 to bf192d6 Compare March 13, 2024 03:48
@mitjat mitjat force-pushed the mitjat/fast-release-ci branch from bf192d6 to adf8efe Compare March 13, 2024 04:06
@mitjat mitjat force-pushed the mitjat/fast-release-ci branch from 6e404c4 to f832488 Compare March 13, 2024 04:19
@mitjat mitjat mentioned this pull request Mar 14, 2024
@mitjat mitjat merged commit 338060d into main Mar 14, 2024
14 checks passed
@mitjat mitjat deleted the mitjat/fast-release-ci branch March 14, 2024 20:06
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