aboutsummaryrefslogtreecommitdiffstats
path: root/.github/workflows/docker.yml
Commit message (Collapse)AuthorAgeFilesLines
* Fix Docker workflow not pushing on manual triggerFinlay Davidson2022-07-191-7/+9
| | | | | | | | Also fix issue where workflow fails on pull requests when the user who made the pull request doesn't have the secrets set. Also allow other workflows to be triggered manually. Also don't trigger any workflows on pull requests to master, as there shouldn't be any pull requests against master.
* Merge branch 'develop' of github.com:JF002/Pinetime into developJean-François Milants2022-07-091-7/+5
|\
| * Docker workflow use separate username for loginFinlay Davidson2022-07-091-7/+5
| |
* | Add 'workflow_dispatch' in the workflow file for Docker image generation to ↵Jean-François Milants2022-07-091-0/+2
|/ | | | allow manually starting the workflow.
* Only build Docker Images on develop, not masterFinlay Davidson2022-07-081-2/+2
|
* Make Docker workflow push to latest and commit shaFinlay Davidson2022-07-081-1/+13
|
* Don't try to cache to Docker Hub on pull requestFinlay Davidson2022-07-081-1/+13
|
* Use either a secret or infinitime as usernameFinlay Davidson2022-07-081-4/+6
| | | | | Uses either the DOCKER_HUB_USERNAME secret or just infinitime as the username for pushing to and pulling from Docker Hub.
* Require event_name to be push for Docker HubFinlay Davidson2022-07-081-2/+2
| | | | Instead of just checking if it's not pull_request
* Hardcode the Docker Hub username as infinitimeFinlay Davidson2022-07-081-4/+4
| | | | | This is so that pull requests that modify the docker image but don't have the DOCKER_HUB_USERNAME secret set won't fail.
* Create GH Actions workflow to build Docker imageFintasticMan2022-07-081-0/+42