Skip to content

Add pull request check for linked issues to CI workflow#2477

Merged
gsheni merged 22 commits into
mainfrom
add_pull_request_check
Feb 1, 2023
Merged

Add pull request check for linked issues to CI workflow#2477
gsheni merged 22 commits into
mainfrom
add_pull_request_check

Conversation

@gsheni

@gsheni gsheni commented Feb 1, 2023

Copy link
Copy Markdown
Contributor

@gsheni gsheni self-assigned this Feb 1, 2023
@gsheni
gsheni marked this pull request as ready for review February 1, 2023 22:05
@gsheni
gsheni requested a review from a team February 1, 2023 22:15
Comment thread .github/workflows/pull_request_check.yaml Outdated
Comment thread docs/source/release_notes.rst Outdated
@gsheni gsheni changed the title Add pull request check to CI workflow Add pull request check for linked issues to CI workflow Feb 1, 2023
Comment thread docs/source/release_notes.rst Outdated

@thehomebrewnerd thehomebrewnerd left a comment

Copy link
Copy Markdown
Contributor

Choose a reason for hiding this comment

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

Seems ok to me!

Comment thread .github/workflows/pull_request_check.yaml
@codecov

codecov Bot commented Feb 1, 2023

Copy link
Copy Markdown

Codecov Report

Merging #2477 (1a4e4be) into main (1c424f4) will not change coverage.
The diff coverage is n/a.

@@           Coverage Diff           @@
##             main    #2477   +/-   ##
=======================================
  Coverage   99.42%   99.42%           
=======================================
  Files         355      355           
  Lines       21421    21421           
=======================================
  Hits        21297    21297           
  Misses        124      124           

Help us with your feedback. Take ten seconds to tell us how you rate us. Have a feature suggestion? Share it here.

@gsheni
gsheni merged commit bd2dac9 into main Feb 1, 2023
@gsheni
gsheni deleted the add_pull_request_check branch February 1, 2023 22:57
@dvreed77 dvreed77 mentioned this pull request Feb 15, 2023
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.

Add GitHub actions to check if pull request has linked GitHub issue

2 participants