16 Commits

Author	SHA1	Message	Date
spaceface	4ed9780b80	all: enable -gc boehm by default (#14577)	2022-06-09 00:44:29 +03:00
spaceface	e5ff2ab455	ci: run on all branches on forks (#14498)	2022-05-22 20:19:04 +03:00
Daniel Däschle	d81fbb1ccd	ci: only run on master (#14476)	2022-05-20 18:27:35 +03:00
Delyan Angelov	3a09ccc80a	ci: restore .github/workflows/ to its state at cee7856, when all checks were done	2022-05-15 10:23:12 +03:00
Daniel Däschle	f0d46413d9	ci: require code to be formatted before everything else (minimise CI queue length) (#14396)	2022-05-14 15:38:15 +03:00
Delyan Angelov	df029da942	Revert "ci: run code-formatting job before everything else (try 2) (#14379)" ... This reverts commit 0972e67f72.	2022-05-12 23:29:37 +03:00
Daniel Däschle	0972e67f72	ci: run code-formatting job before everything else (try 2) (#14379)	2022-05-12 21:58:11 +03:00
mint	73cf597bec	ci: remove now-useless mlibc stuff from Vinix workflow (#13471)	2022-02-15 11:19:28 +02:00
Delyan Angelov	89e9f8a00c	ci: fix vinix compilation to commit aa18fc0 (Meson building mlibc fails in a01546b)	2022-02-14 21:25:50 +02:00
Alexander Ivanov	0386f2bbea	checker: add an interface check for mutability, fixes #1081, fixes #7038 (#11963)	2021-10-11 15:41:31 +03:00
Delyan Angelov	48f0ef0a33	ci: ignore patch problems for vinix-kernel.yml	2021-09-10 12:19:05 +03:00
Delyan Angelov	823c9a3c84	ci: fix vinix-build job after commit 9776274 in vinix	2021-09-07 07:13:42 +03:00
Delyan Angelov	2158597831	ci: ignore changes in .md files for the vinix-build job	2021-07-31 06:33:32 +03:00
Delyan Angelov	b666482d84	ci: fix the vinix-build job	2021-07-26 08:50:05 +03:00
Delyan Angelov	063ffe36d9	ci: use ../mlibc-headers/include in vinix-kernel.yml	2021-07-26 01:34:56 +03:00
mint	b69a31008b	ci: add a workflow to test if the Vinix kernel builds (#10963)	2021-07-26 01:34:35 +03:00