Skip to content

history: fix PR links#31

Merged
pquentin merged 1 commit intomasterfrom
history_pr_links
Sep 4, 2022
Merged

history: fix PR links#31
pquentin merged 1 commit intomasterfrom
history_pr_links

Conversation

@belm0
Copy link
Member

@belm0 belm0 commented Sep 4, 2022

No description provided.

@belm0 belm0 requested a review from pquentin September 4, 2022 11:56
@codecov
Copy link

codecov bot commented Sep 4, 2022

Codecov Report

Merging #31 (2aa50cc) into master (85e552b) will not change coverage.
The diff coverage is n/a.

@@           Coverage Diff           @@
##           master      #31   +/-   ##
=======================================
  Coverage   96.51%   96.51%           
=======================================
  Files           4        4           
  Lines          86       86           
  Branches       17       17           
=======================================
  Hits           83       83           
  Misses          2        2           
  Partials        1        1           

Copy link
Member

@pquentin pquentin left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Oops! That's what happens when you don't want to use towncrier and do things manually!

Thank you.

@pquentin pquentin merged commit 0cfdab8 into master Sep 4, 2022
@belm0 belm0 deleted the history_pr_links branch September 4, 2022 23:23
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.

2 participants