Skip to content

Add no_std attribute to jf-relation#197

Merged
mrain merged 3 commits intomainfrom
no_std_mark_relation
Jan 20, 2023
Merged

Add no_std attribute to jf-relation#197
mrain merged 3 commits intomainfrom
no_std_mark_relation

Conversation

@mrain
Copy link
Copy Markdown
Contributor

@mrain mrain commented Jan 20, 2023

Description

closes: #196


Before we can merge this PR, please make sure that all the following items have been
checked off. If any of the checklist items are not applicable, please leave them but
write a little note why.

  • Targeted PR against correct branch (main)
  • Linked to GitHub issue with discussion and accepted design OR have an explanation in the PR that describes this work.
  • Wrote unit tests
  • Updated relevant documentation in the code
  • Added a relevant changelog entry to the Pending section in CHANGELOG.md
  • Re-reviewed Files changed in the GitHub PR explorer

@mrain mrain requested a review from a team January 20, 2023 18:42
@mrain mrain merged commit 64251e7 into main Jan 20, 2023
@mrain mrain deleted the no_std_mark_relation branch January 20, 2023 22:31
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

crate jf-relation missing no_std attribute

2 participants