Skip to content
This repository has been archived by the owner on Jul 24, 2024. It is now read-only.

[Merged by Bors] - fix(ci/add_ported_warnings): use a version of the action that does not error #17936

Closed
wants to merge 1 commit into from

Conversation

eric-wieser
Copy link
Member

@eric-wieser eric-wieser added awaiting-review The author would like community review of the PR CI This issue or PR is about continuous integration labels Dec 14, 2022
@bryangingechen
Copy link
Collaborator

bors r+

@github-actions github-actions bot added ready-to-merge All that is left is for bors to build and merge this PR. (Remember you need to say `bors r+`.) and removed awaiting-review The author would like community review of the PR labels Dec 14, 2022
@kbuzzard
Copy link
Member

LGTM (judging by the comment by Ana06 that Eric linked to)

@bors
Copy link

bors bot commented Dec 15, 2022

Pull request successfully merged into master.

Build succeeded:

@bors bors bot changed the title fix(ci/add_ported_warnings): use a version of the action that does not error [Merged by Bors] - fix(ci/add_ported_warnings): use a version of the action that does not error Dec 15, 2022
@bors bors bot closed this Dec 15, 2022
@bors bors bot deleted the eric-wieser/fix-ci-failures branch December 15, 2022 01:17
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
CI This issue or PR is about continuous integration ready-to-merge All that is left is for bors to build and merge this PR. (Remember you need to say `bors r+`.)
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants