Frederik Seiffert e13195b44e CI: various improvements ... - update GitHub actions (fixes Node.js 12 deprecation warnings) - separate Linux and Windows jobs - add option to specify tools-make branch for manual run - Windows MSVC: use dependencies from pre-built release (with option to build dependencies via manual run) - Windows MSVC: set GitHub token when building dependencies to prevent GitHub rate limit errors - remove installation of libkqueue-dev package (not used by libdispatch) - update dependencies from libobjc-9-dev to libobjc-10-dev - add -q flag to git clone to prevent progress logs from spamming logs		2023-01-06 15:56:28 -06:00
..
dependencies.sh	CI: various improvements	2023-01-06 15:56:28 -06:00