Andreas Gebhardt 2193ea5da1 some improvements (#1030) ... * update GitHub Actions > Node.js 12 actions are deprecated. For more information see: > https://github.blog/changelog/2022-09-22-github-actions-all-actions-will-begin-running-on-node16-instead-of-node12/. > Please update the following actions to use Node.js 16: actions/checkout, > actions/setup-node, actions/cache, actions/checkout * show location in output if URL is redirected		2022-11-02 20:37:11 +01:00
..
pull_request.yml	some improvements (#1030)	2022-11-02 20:37:11 +01:00