This fixes several CI warnings like this one:
Node.js 16 actions are deprecated.
Please update the following actions to use Node.js 20: actions/checkout@v3,
actions/cache@v3, actions/upload-artifact@v3. For more information see:
https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
Signed-off-by: Stefan Weil <sw@weilnetz.de>
Update more GitHub actions from v3 to v4
Signed-off-by: Stefan Weil <sw@weilnetz.de>
Change upload and download to work with v4
Signed-off-by: Stefan Weil <sw@weilnetz.de>
Update GitHub action eps1lon/actions-label-merge-conflict
Signed-off-by: Stefan Weil <sw@weilnetz.de>
Update GitHub action nick-fields/retry
Signed-off-by: Stefan Weil <sw@weilnetz.de>
This patch adds a simple GitHub Actions workflow which will
automatically check open pull requests on code changes, adding a comment
and a label if the pull request has conflicts. The label will
automatically be removed again once the conflict has been resolved.
We use this for a while now with opencast and it really helps since
people do not have to manually check if their pull requests need an
update any longer.
An example, of hoe this looks in action can be found at
https://github.com/opencast/opencast/pull/2053#issuecomment-734987582
