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.

Sign up for GitHub

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

Jump to bottom

cleanup CI config #20510

Merged
merged 1 commit into from
Jan 5, 2023
Merged

cleanup CI config #20510

merged 1 commit into from
Jan 5, 2023

Conversation

ndelangen
Copy link
Member

@ndelangen ndelangen commented Jan 5, 2023 •
edited
Loading

thanks for reporting Yann
#20385 (review)

@ndelangen @yannbf
cleanup CI config
e559b0e 
thanks for reporting Yann
#20385 (review)

Co-authored-by: Yann Braga <yannbf@gmail.com>
@ndelangen ndelangen self-assigned this Jan 5, 2023
@ndelangen ndelangen added the build Internal-facing build tooling & test updates label Jan 5, 2023
@ndelangen
Copy link
Member Author

@shilman self-merging

@ndelangen ndelangen merged commit 104e3d6 into next Jan 5, 2023
@ndelangen ndelangen deleted the norbert/cleanup-ci-config branch January 5, 2023 16:17
@ndelangen ndelangen mentioned this pull request Jan 5, 2023
Merged
3 tasks
@shilman shilman added cleanup Minor cleanup style change that won't show up in release changelog and removed build Internal-facing build tooling & test updates labels Jan 9, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers
No reviews
Assignees

@ndelangen ndelangen

Labels
cleanup Minor cleanup style change that won't show up in release changelog
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
2 participants
@ndelangen @shilman