Tim van der Meij 4269148d3d Upgrade Node.js to version 16 in the CI workflow ... Version 14 that we used before is now in maintenance mode, so we should upgrade to the most recent LTS version. Moreover, use the most recent `setup-node` workflow version and syntax; see https://github.com/actions/setup-node#usage.		2021-12-11 15:50:23 +01:00
..
ci.yml	Upgrade Node.js to version 16 in the CI workflow	2021-12-11 15:50:23 +01:00
codeql.yml	Improve the code analysis workflow with quality checks	2021-07-31 15:33:07 +02:00