update documentation build #99

Merged

muellerr merged 2 commits from update-docs-build into main

2024-07-03 16:14:47 +02:00

Author	SHA1	Message	Date
Robin Müller	9d4c7446a3	Merge branch 'main' into update-docs-build All checks were successful Rust/spacepackets/pipeline/head This commit looks good Details Rust/spacepackets/pipeline/pr-main This commit looks good Details	2024-06-25 16:20:08 +02:00
Robin Mueller	a5918bfd4a	update documentation build All checks were successful Rust/spacepackets/pipeline/head This commit looks good Details	2024-06-25 16:07:07 +02:00