docs: Update Travis -> GitHub Actions

Author: domdomegg

android/Developer-workflow.md

@@ -26,7 +26,7 @@
 
 ## Reviewing a change
 
-1. Check Travis is passing
+1. Check GitHub Actions is passing
     - If not have a look in the logs to try and deduce what the error might be and provide feedback to the requester
     - If you think Travis should pass but isn't, try restarting the build. If this still doesn't work, see if there is any discussion in issues. If one doesn't exist already, submit a new issue tagged `continuous integration` and `high priority`.
 
@@ -56,4 +56,4 @@ Before merging, ensure:
 - The changes comply with our [code style guide](Code-style.md)
 - You are not merging your own pull request, or one which you have significantly contributed to
 
-Please use "Squash and merge" to merge changes.
+Please use "Squash and merge" to merge changes.