c068c74e86
CI-mingw.yml: use pre-installed MinGW / also use `lld` and `ccache` for faster builds ( #4400 )
...
This used to be one of the longest running jobs because of the slow
setup and linking. Now it will take only ~2 minutes if everything is
cached with half the time taken up by the tests.
2023-09-04 13:56:18 +02:00
bf5e63300e
avoid duplicated workflow invocations for pushes in PRs made from root repository branches ( #5377 )
...
This will prevent duplicated workflows from being invoked for pushes
into pull requests made from branches in the root (`danmar`) repository
branches.
2023-09-01 18:52:20 +02:00
ca9747cf7d
address most Node.js 12 deprecation warnings in GitHub workflows ( #4546 )
2022-10-11 19:50:59 +02:00
9542a7b3cc
Makefile: some cleanups / added `VERBOSE` option ( #4438 )
2022-09-09 15:06:40 +02:00
cf1271889a
reduced permissions of GitHub actions ( #4403 )
2022-08-26 23:25:07 +02:00
05a1e92e35
speed up MinGW and Cygwin CI builds by avoiding repeated linking ( #4274 )
...
* speed up MinGW and Cygwin CI builds by avoiding repeated linking
* updated some CI jobs to `windows-2022`
2022-07-13 21:09:07 +02:00
aaa4425d90
added MinGW to CI and fixed local MinGW build ( #3826 )
2022-02-16 07:06:04 +01:00
Oliver Stöneberg