Drop Drone PR & push tests
Drop Drone PR & push tests

Tests are now executed by GitHub Actions. Drone
tests are still executed on releases since these
are still a Drone's responsibility.

dotty-staging/dotty,lampepfl/dotty,sjrd/dotty,som-snytt/dotty,sjrd/dotty,lampepfl/dotty,dotty-staging/dotty,sjrd/dotty,sjrd/dotty,dotty-staging/dotty,som-snytt/dotty,lampepfl/dotty,sjrd/dotty,dotty-staging/dotty,som-snytt/dotty,som-snytt/dotty,lampepfl/dotty,lampepfl/dotty,som-snytt/dotty,dotty-staging/dotty