Fixes for Miri #95

Merged

muellerr merged 3 commits from fixes-for-miri into main 2024-05-15 13:03:25 +02:00

Conversation 0 Commits 3 Files Changed 5

+85 -4

muellerr commented 2024-05-14 15:49:01 +02:00

Owner

Copy Link

Copy Source

No description provided.

muellerr added 3 commits 2024-05-14 15:49:01 +02:00

remove defmt::Format impl for MetadataPduCreator 8001938507

it is now possible to run cargo miri 791c7f6e02

add miri chapter in README 374c034e92

muellerr added 1 commit 2024-05-14 19:25:08 +02:00

Merge branch 'main' into fixes-for-miri c2506dbba9

muellerr added this to the v0.12.0 milestone 2024-05-14 19:25:13 +02:00

muellerr merged commit b8be9ae641 into main 2024-05-15 13:03:25 +02:00

muellerr deleted branch fixes-for-miri 2024-05-15 13:03:25 +02:00

muellerr referenced this issue from a commit 2024-05-15 13:03:25 +02:00

Merge pull request 'Fixes for Miri' (#95) from fixes-for-miri into main

Sign in to join this conversation.

Reviewers

No Reviewers

Labels

Clear labels

api

Non-Breaking API change

b-api

Breaking API change

bug

Something is not working

concepts

Conception and ideas for new features

duplicate

This issue or pull request already exists

enhancement

New feature

help wanted

Need some help

invalid

Something is wrong

question

More information is needed

wontfix

This won't be fixed

No labels

Milestone

No items

No Milestone v0.12.0

Projects

Clear projects

No projects

Assignees

Clear assignees

ahinkel (Andy Hinkel) jenkins_buildfix lkoester meggert (Marius Eggert) meierj (Jakob Meier) mhess mohr (Ulrich Mohr) muellerr (Robin Müller) nehlichp (Paul Nehlich) steinertm (Michael Steinert) tbaumgartl (Tobias Baumgartl)

No Assignees

1 Participants

Notifications

Subscribe

Due Date

No due date set.

Dependencies

No dependencies set.

Reference: rust/spacepackets#95