Age | Commit message (Collapse) | Author | Files | Lines | |
---|---|---|---|---|---|
2022-07-19 | Fix Docker workflow not pushing on manual trigger | Finlay Davidson | 1 | -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. | |||||
2022-07-09 | Merge branch 'develop' of github.com:JF002/Pinetime into develop | Jean-François Milants | 1 | -7/+5 | |
2022-07-09 | Add 'workflow_dispatch' in the workflow file for Docker image generation to ↵ | Jean-François Milants | 1 | -0/+2 | |
allow manually starting the workflow. | |||||
2022-07-09 | Docker workflow use separate username for login | Finlay Davidson | 1 | -7/+5 | |
2022-07-08 | Only build Docker Images on develop, not master | Finlay Davidson | 1 | -2/+2 | |
2022-07-08 | Make Docker workflow push to latest and commit sha | Finlay Davidson | 1 | -1/+13 | |
2022-07-08 | Don't try to cache to Docker Hub on pull request | Finlay Davidson | 1 | -1/+13 | |
2022-07-08 | Use either a secret or infinitime as username | Finlay Davidson | 1 | -4/+6 | |
Uses either the DOCKER_HUB_USERNAME secret or just infinitime as the username for pushing to and pulling from Docker Hub. | |||||
2022-07-08 | Require event_name to be push for Docker Hub | Finlay Davidson | 1 | -2/+2 | |
Instead of just checking if it's not pull_request | |||||
2022-07-08 | Hardcode the Docker Hub username as infinitime | Finlay Davidson | 1 | -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. | |||||
2022-07-08 | Create GH Actions workflow to build Docker image | FintasticMan | 1 | -0/+42 | |