11 Commits

Author	SHA1	Message	Date
Asmir Avdicevic	caf81fd2e2	chore(ci): adjust runner usage and storage policies (#471) ... * chore(ci): adjust runner usage and storage policies * fix android * fix android again	2026-03-03 12:58:06 +00:00
Friedel Ziegelmayer	294e3ea603	refactor!: rename to noq (#461) ... * refactor!: rename to noq * fixup python scripts * fixup * fixup * fixup: cr	2026-02-27 14:57:21 +00:00
Friedel Ziegelmayer	f41f278609	ci: add expanded proptest runs to ci (#395) ... * test(proto): add failing seeds found in CI * ci: add expanded proptest runs to ci Adds daily runs, and a longer run for regular tests, also available as cargo make tasks * ci: fight windows * another failing seed * apply CR * add seeds found in CI --------- Co-authored-by: Philipp Krüger <philipp.krueger1@gmail.com>	2026-02-19 15:24:28 +00:00
Asmir Avdicevic	afc9ed49d2	chore: revert sccache removal (#326)	2026-01-14 15:01:06 +00:00
Asmir Avdicevic	39f776db5b	chore: unblock CI (#321)	2026-01-14 10:57:50 +00:00
Asmir Avdicevic	c4fb84b8c4	fix(ci): windows test build fix	2025-12-17 08:46:28 +01:00
Asmir Avdicevic	eb59f64ae5	fix(ci): windows deps	2025-12-16 18:01:20 +01:00
Asmir Avdicevic	3e1abcae86	chore(ci): cache more deps (#253) ... * chore(ci): cache more deps * pin and cache codespell --------- Co-authored-by: Philipp Krüger <philipp.krueger1@gmail.com>	2025-12-16 09:15:42 +00:00
Floris Bruynooghe	c0cf8540eb	fix: disable GSO on windows if failures happen (#209) ... * fix: disable GSO on windows if failures happen Unfortunately this is not feature gated, so had the risk of tanking performance on windows. Though it should not normally happen. * make this state exist * love running compiler on ci * params * imports * param * and slowly doing everything arqu did... * adjust the test	2025-12-02 19:45:43 +00:00
Asmir Avdicevic	35f654b0c0	ci: fix more workflows	2025-12-02 13:24:18 +01:00
Asmir Avdicevic	a1cc539566	ci: setup n0 based CI	2025-12-02 12:11:05 +01:00