Skip to content

Conversation

@owen-mc
Copy link
Contributor

@owen-mc owen-mc commented Oct 27, 2023

No description provided.

@owen-mc owen-mc requested a review from a team as a code owner October 27, 2023 10:27
@owen-mc
Copy link
Contributor Author

owen-mc commented Oct 27, 2023

I can confirm that the "check change note" CI check failed when I made a change to shared/dataflow/codeql/dataflow/internal/DataFlowImpl.qll

@owen-mc owen-mc force-pushed the change-note-check-on-shared branch from f9ca117 to 1db622e Compare October 27, 2023 10:30
Copy link
Contributor

@MathiasVP MathiasVP left a comment

Choose a reason for hiding this comment

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

Thanks!

@owen-mc
Copy link
Contributor Author

owen-mc commented Oct 27, 2023

Hmm. Why is the "Check change note" CI check there? Is it because there was a file which needed that check, and even after I force-pushed to remove that file the check doesn't go away? I tried rerunning it and it still failed, which makes sense as it's just checking whether there's a change note.

@criemen
Copy link
Collaborator

criemen commented Oct 27, 2023

The workflow has a (sensible) trigger on changes to itself:
- ".github/workflows/check-change-note.yml"

Jut add the label, and it should be okay I think?

@owen-mc owen-mc added the no-change-note-required This PR does not need a change note label Oct 27, 2023
@owen-mc owen-mc merged commit 00ba7e4 into github:main Oct 27, 2023
@owen-mc owen-mc deleted the change-note-check-on-shared branch October 27, 2023 10:45
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

no-change-note-required This PR does not need a change note

Projects

None yet

Development

Successfully merging this pull request may close these issues.

4 participants