10 commits

Author	SHA1	Message	Date
DQ	6c62982f67	[CI] Update built-in GitHub Actions to v4	2025-02-02 18:19:54 +01:00
DQ	1babdb03ee	[CI] Cancel in progress jobs (plus readonly permissions) (#65) ... Co-authored-by: Domenic Quirl <DomenicQuirl@protonmail.com>	2024-08-20 20:37:16 +02:00
DQ	64e94d7d30	Enable sparse registry protocol in CI (#54)	2023-04-19 20:08:03 +02:00
DQ	b4d07fbf65	Update CI workflows (#53)	2023-04-18 22:36:02 +02:00
DQ	30597dbb8b	Support and use cargo nextest (#52)	2023-04-18 21:40:28 +02:00
DQ	16f7a3bd80	Set up a module structure (#44)	2023-04-07 18:06:51 +02:00
DQ	2ffeb0e166	Use strict provenance for pointer tagging (#36)	2022-07-01 10:44:24 +02:00
DQ	f187aba06c	[CI] increase delay between scheduled pipelines ... 7d --> 20d (now 1st and 21st of month)	2022-06-01 20:23:00 +02:00
DQ	0564244837	Update CI MIRI flags, schedule CI only once a week	2021-04-26 09:11:59 +02:00
DQ	621718e9b8	Add CI and address soundness issues brought up by miri (#10)	2021-01-30 20:21:30 +01:00