search

SUSE / libpulp

libpulp enables live patching in user space applications.
GNU Lesser General Public License v2.1
55 stars 11 forks source link

Debugging CI heisenbug #72

Closed giulianobelinassi closed 2 years ago

giulianobelinassi commented 3 years ago

Should not be merged.

marxin commented 3 years ago

Note you can mark a pull request as a Draft, that's exactly what you want here: https://docs.github.com/en/github/collaborating-with-pull-requests/proposing-changes-to-your-work-with-pull-requests/changing-the-stage-of-a-pull-request#converting-a-pull-request-to-a-draft

giulianobelinassi commented 3 years ago

Note you can mark a pull request as a Draft, that's exactly what you want here: https://docs.github.com/en/github/collaborating-with-pull-requests/proposing-changes-to-your-work-with-pull-requests/changing-the-stage-of-a-pull-request#converting-a-pull-request-to-a-draft

I did this before and the CI doesn't run, unfortunately.

giulianobelinassi commented 2 years ago

This bug seems to have faded away. Closing...