Repository navigation
Use GitHub API for pushes by default and require explicit github-token when using custom tokens
#792
| Job | Run time |
|---|---|
| 27s | |
| 24s | |
| 48s | |
| 57s | |
| 4s | |
| 2m 40s |