dependabot[bot]
|
eb7cd717ed
|
chore(deps): bump peter-evans/create-pull-request from 3 to 4 (#8467)
Bumps [peter-evans/create-pull-request](https://github.com/peter-evans/create-pull-request) from 3 to 4.
- [Release notes](https://github.com/peter-evans/create-pull-request/releases)
- [Commits](https://github.com/peter-evans/create-pull-request/compare/v3...v4)
---
updated-dependencies:
- dependency-name: peter-evans/create-pull-request
dependency-type: direct:production
update-type: version-update:semver-major
...
Signed-off-by: dependabot[bot] <support@github.com>
Co-authored-by: dependabot[bot] <49699333+dependabot[bot]@users.noreply.github.com>
|
2022-06-03 15:41:05 +02:00 |
|
Randolf J
|
dac3e65533
|
chore: use PRs for post-publish
|
2022-06-02 14:37:15 +02:00 |
|
Randolf Jung
|
7d1557a3cc
|
chore: fix post-publish checkout ref
|
2022-05-31 15:39:54 +02:00 |
|
Randolf Jung
|
bc1326f16e
|
chore: build main docs after publishing
|
2022-05-31 15:38:34 +02:00 |
|
Randolf Jung
|
4ba9950cc5
|
chore: rename actions
|
2022-05-31 14:56:44 +02:00 |
|
jrandolf
|
d111d19f78
|
fix: process documentation during publishing (#8433)
|
2022-05-30 21:50:34 +02:00 |
|
jrandolf
|
d422e12af8
|
chore: checkout main during post-publish (#8432)
|
2022-05-30 15:15:54 +00:00 |
|
jrandolf
|
be26137041
|
chore: use release-please app (#8412)
|
2022-05-30 11:47:15 +02:00 |
|