Gian Merlino
08/24/2022, 4:03 PMit-tools
is gone, so the older .travis.yml in some PR branches won't build any longer. I tried retriggering builds and it didn't help, so I suspect the merge from master -> branch needs to be done manually by contributors