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 |
|