Michael Matloka
|
337966688c
|
ci: Don't treat unordered lists as empty PR description content (#19865)
|
2024-01-19 14:15:17 +01:00 |
|
Robbie
|
8955a44c54
|
chore(ci): Don't shame draft PRs (#17639)
|
2023-09-27 09:06:46 +01:00 |
|
Harry Waye
|
b59537a344
|
ci(github): update set-output reference (#12451)
* ci(github): update set-output reference
according to
https://github.blog/changelog/2022-09-22-github-actions-all-actions-will-begin-running-on-node16-instead-of-node12/
* wip
|
2022-10-26 17:28:12 +00:00 |
|
Michael Matloka
|
dd7834b2ec
|
ci(lint-new-pr): Refresh "Check that PR has description" (#12004)
|
2022-09-27 22:32:55 +00:00 |
|