You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
{{ message }}
This repository was archived by the owner on Apr 22, 2023. It is now read-only.
So, this happened: nodejs/node#19438 (comment)
(Someone accidentally used the wrong PR number when starting a CI job.)
Surely this isn't the first time this has happened nor the last time this will happen.
Would be awesome if we could either:
have
git node landcheck the CI parameters to make sure they match the PR number? (That's a big request and would probably be sloooooow.)have a tool to start CI jobs that would somehow reduce the probability of this sort of thing. Not sure what that would look like to be honest.
This may be Too Big To Solve. Feel free to close. Just wanted to put it out there for consideration. Thanks.