Revision 0f821e4564b257e6f8abd0a6044f043a4d3609b3 authored by Roman Donchenko on 18 October 2023, 11:20:25 UTC, committed by GitHub on 18 October 2023, 11:20:25 UTC
This automates the second half of the release process (the first being automated by `prepare-release.yml`). After this workflow completes, the only action that should remain for the releaser to do is to merge the `dev-release-*` pull request. We can't do that as part of this workflow, because CI has to finish first, and it seems pointless to create another workflow just to merge 1 PR. Apply some of the aspects of this pipeline to `prepare-release.yml` as well: * Make the release notes extraction process more sophisticated to work around GitHub's frustrating handling of line breaks in PR and release descriptions. * Use GitHub app credentials in order to be able to trigger other pipelines.
1 parent 871bd4f
| File | Mode | Size |
|---|---|---|
| ISSUE_TEMPLATE | ||
| workflows | ||
| CODEOWNERS | -rw-r--r-- | 1.5 KB |
| PULL_REQUEST_TEMPLATE.md | -rw-r--r-- | 2.2 KB |
| codecov.yml | -rw-r--r-- | 599 bytes |
Computing file changes ...
