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
..
common.mjs	some improvements (#1030)	2022-11-02 20:37:11 +01:00
exclude_in_test.json	Fix dead links and PR tests (#1011)	2022-07-13 10:08:15 +02:00
pull_request.mjs	change to module	2021-10-23 23:08:32 +02:00
test_all.mjs	change to module	2021-10-23 23:08:32 +02:00