Mike McQuaid
|
8d07f4f15c
|
workflows: migrate to GitHub Container Registry.
This seems a better fit for us (unauthenticated anonymous access) than
GitHub Packages Docker registry was.
Followed steps on:
https://docs.github.com/en/packages/getting-started-with-github-container-registry/migrating-to-github-container-registry-for-docker-images
|
2020-09-03 09:41:37 +01:00 |
|
Mike McQuaid
|
c6a5ea5f11
|
workflows: don't test paths on master.
This avoids weirdness like the merged PR commits being pushed to scheduled opened PRs after merging.
It also avoids wasting resources.
|
2020-08-26 14:02:44 +01:00 |
|
Mike McQuaid
|
d2fc08d942
|
GitHub Actions cleanup
- Add consistent spacing
- Remove `pull_request: []` warning
- remove identical, implicit `name` usage
- use `actions/cache@v1` for compatibility
|
2020-08-13 14:54:22 +01:00 |
|
Mike McQuaid
|
844c330cc5
|
workflows: test on "push" not "pull_request".
This ensures they have access to the correct secrets.
|
2020-08-11 14:01:27 +01:00 |
|
Mike McQuaid
|
3e4da13934
|
Cleanup more GitHub Actions usage
Increase consistency between workflows, use more of our actions and
`@main`.
|
2020-08-06 19:35:39 +01:00 |
|
Shaun Jackman
|
3d3aef4076
|
docker.yml: Tag homebrew/brew:$brew_version
|
2020-05-22 11:46:42 -07:00 |
|
Shaun Jackman
|
0c8a7b0488
|
Base homebrew/brew Docker image on ubuntu:20.04
Add a new image homebrew/ubuntu16.04 for building Linux bottles.
Tag the most recent stable release of each image as latest.
|
2020-05-20 22:11:42 -07:00 |
|
Dawid Dziurla
|
95c6d3797d
|
workflows: login without specifying registry
|
2020-05-11 10:38:38 +02:00 |
|
Shaun Jackman
|
f4e32ebcb1
|
docker.yml: Set persist-credentials: false
|
2020-05-04 16:16:18 -07:00 |
|
Shaun Jackman
|
3a9e12efac
|
docker.yml: Fix a typo
|
2020-05-04 15:00:36 -07:00 |
|
Shaun Jackman
|
305ecfd66e
|
docker.yml: Deploy tagged image to Docker Hub
|
2020-05-04 12:34:59 -07:00 |
|
Shaun Jackman
|
5052f49f40
|
Build Docker images for Ubuntu 18.04 and 20.04
|
2020-05-02 21:04:08 -07:00 |
|