scala / scala-dev

Scala 2 team issues. Not for user-facing bugs or directly actionable user-facing improvements. For build/test/infra and for longer-term planning and idea tracking. Our bug tracker is at https://github.com/scala/bug/issues
Apache License 2.0
130 stars 15 forks source link

Travis-CI has stopped triggering on scala/scala PRs? #812

Closed SethTisue closed 2 years ago

SethTisue commented 2 years ago

a fairly recent PR where it did run: https://github.com/scala/scala/pull/10100

two recent PRs where it didn't: https://github.com/scala/scala/pull/10103, https://github.com/scala/scala/pull/10096

SethTisue commented 2 years ago

I'm leaving on a trip shortly so I might not get to look at this in the next couple days... but one of us should figure it out before we build 2.13.9 (or 2.12.17)

SethTisue commented 2 years ago

The problem seems to have gone away 🤷