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

Revert "jenkins ci: listener topic list update" #21884

Merged

dagar merged 1 commit into main from pr-jenkins

Jul 25, 2023

Member

dagar commented Jul 25, 2023 •

edited

This reverts commit 190371c.

Looks like Jenkins might be chocking on this.


          Revert "jenkins ci: listener topic list update"

390c1ec

This reverts commit 190371c.

Member Author

dagar commented Jul 25, 2023

@BazookaJoe1900

Let's take another pass at doing this properly later.

dagar merged commit 56b59dc into main

84 of 86 checks passed

dagar deleted the pr-jenkins branch

July 25, 2023 22:39

BazookaJoe1900 mentioned this pull request

[DNM] jenkins ci: listener topic list update #21886

Open

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment