Commit Graph

11 Commits

Author SHA1 Message Date
Finlay Davidson
fdad3fc985 Fix Docker workflow not pushing on manual trigger
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.
2022-07-19 11:53:56 +02:00
Jean-François Milants
2497749715 Merge branch 'develop' of github.com:JF002/Pinetime into develop 2022-07-09 12:19:54 +02:00
Jean-François Milants
fa17ae2098 Add 'workflow_dispatch' in the workflow file for Docker image generation to allow manually starting the workflow. 2022-07-09 12:19:38 +02:00
Finlay Davidson
358690d08b Docker workflow use separate username for login 2022-07-09 12:05:46 +02:00
Finlay Davidson
27b73470f2 Only build Docker Images on develop, not master 2022-07-08 17:13:47 +02:00
Finlay Davidson
c3bd04f497 Make Docker workflow push to latest and commit sha 2022-07-08 17:13:47 +02:00
Finlay Davidson
1b971eebae Don't try to cache to Docker Hub on pull request 2022-07-08 17:13:47 +02:00
Finlay Davidson
6a0aec0850 Use either a secret or infinitime as username
Uses either the DOCKER_HUB_USERNAME secret or just infinitime as
the username for pushing to and pulling from Docker Hub.
2022-07-08 17:13:47 +02:00
Finlay Davidson
4ee3e51605 Require event_name to be push for Docker Hub
Instead of just checking if it's not pull_request
2022-07-08 17:13:47 +02:00
Finlay Davidson
b089fc2c61 Hardcode the Docker Hub username as infinitime
This is so that pull requests that modify the docker image but
don't have the DOCKER_HUB_USERNAME secret set won't fail.
2022-07-08 17:13:47 +02:00
FintasticMan
6c23aa5626 Create GH Actions workflow to build Docker image 2022-07-08 17:13:47 +02:00