7 Commits

Author	SHA1	Message	Date
XhmikosR	fdc40f5053	CI: specify FORCE_COLOR:2 (#32222) ... This should show any colors in the output	2020-11-23 21:32:25 +02:00
XhmikosR	a6156ede32	CI: switch to Node.js 14. (#32003)	2020-10-29 19:38:31 +02:00
XhmikosR	e993ca76e0	CI: Skip dependabot PR branches. (#32006) ... Also, reword Node.js setup step	2020-10-29 19:26:15 +02:00
XhmikosR	833125b5fe	Revert "Change when CI runs" ... This reverts commit 37dc6e1031.	2020-06-11 07:52:12 +03:00
XhmikosR	f57ac7231e	Switch to Node.js 12.x.	2020-06-10 08:19:51 +03:00
XhmikosR	37dc6e1031	Change when CI runs ... Run it for all pull requests, the master branch, and any branches that end with `-ci`.	2020-06-10 08:19:51 +03:00
XhmikosR	e7604207a1	Split GitHub Actions. ... Everything should be faster now. Also, we can restart a failed workflow and not the whole thing like before.	2020-06-10 08:19:51 +03:00