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
