Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

chore: give build instructions to docs.rs #3952

Merged
merged 1 commit into from
Dec 15, 2023

Conversation

elsirion
Copy link
Contributor

@elsirion elsirion commented Dec 15, 2023

Fixes #3946 and hopefully makes docs.rs work. See how e.g. fedimintd fails to build and thus doesn't have docs shown: https://docs.rs/crate/fedimintd/0.2.0/builds/1062229

I added the meta field to all crates that might remotely depend on something in Fedimint that uses the task builder. I probably over-did it a bit, but it shouldn't hurt and once #3951 is fixed we can roll it back anyway.

Copy link

codecov bot commented Dec 15, 2023

Codecov Report

All modified and coverable lines are covered by tests ✅

Comparison is base (5c293e4) 57.07% compared to head (a9774c4) 57.02%.

Additional details and impacted files
@@            Coverage Diff             @@
##           master    #3952      +/-   ##
==========================================
- Coverage   57.07%   57.02%   -0.06%     
==========================================
  Files         193      193              
  Lines       43041    43041              
==========================================
- Hits        24566    24543      -23     
- Misses      18475    18498      +23     

☔ View full report in Codecov by Sentry.
📢 Have feedback on the report? Share it here.

@elsirion elsirion marked this pull request as ready for review December 15, 2023 11:49
@elsirion elsirion requested review from a team as code owners December 15, 2023 11:49
@justinmoon justinmoon added this pull request to the merge queue Dec 15, 2023
@github-merge-queue github-merge-queue bot removed this pull request from the merge queue due to failed status checks Dec 15, 2023
@douglaz douglaz added this pull request to the merge queue Dec 15, 2023
Merged via the queue into fedimint:master with commit 648ae03 Dec 15, 2023
22 checks passed
@fedimint-backports
Copy link

Successfully created backport PR for releases/v0.2:

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

Successfully merging this pull request may close these issues.

Add docs.rs metadata to make building docs work
5 participants