Fixes for Miri #95

Merged

muellerr merged 3 commits from fixes-for-miri into main

2024-05-15 13:03:25 +02:00

Author	SHA1	Message	Date
Robin Müller	c2506dbba9	Merge branch 'main' into fixes-for-miri All checks were successful Rust/spacepackets/pipeline/head This commit looks good Details Rust/spacepackets/pipeline/pr-main This commit looks good Details	2024-05-14 19:25:07 +02:00
Robin Mueller	374c034e92	add miri chapter in README All checks were successful Rust/spacepackets/pipeline/head This commit looks good Details	2024-05-14 15:37:20 +02:00
Robin Mueller	791c7f6e02	it is now possible to run cargo miri	2024-05-14 15:34:40 +02:00