Re:Two GitHub bots not talking to each other on a PR
by upon_drumhead on Thursday September 07, 2023 @09:31AM
(#37418656)
What brittleness? It’s just two workflows that ran together.
[ Parent
| on HN ]
There are no comments on this comment yet.