mirror of
https://github.com/XRPLF/clio.git
synced 2025-12-06 17:27:58 +00:00
de43be887e
I don't think I can change where it's pushed and start using it in the same PR, so will try to first update the push part, and then change where the image is used. Only doing it for CI image to not break anything.
45 lines
1.3 KiB
YAML
45 lines
1.3 KiB
YAML
name: Update CI docker image
|
|
|
|
on:
|
|
pull_request:
|
|
paths:
|
|
- "docker/ci/**"
|
|
- "docker/compilers/**"
|
|
- .github/workflows/update_docker_ci.yml
|
|
- ".github/actions/build_docker_image/**"
|
|
push:
|
|
branches: [develop]
|
|
paths:
|
|
# CI image must update when either its Dockerfile changes
|
|
# or any compilers changed and were pushed by hand
|
|
- "docker/ci/**"
|
|
- "docker/compilers/**"
|
|
- .github/workflows/update_docker_ci.yml
|
|
- ".github/actions/build_docker_image/**"
|
|
workflow_dispatch:
|
|
|
|
jobs:
|
|
build_and_push:
|
|
name: Build and push docker image
|
|
runs-on: [self-hosted, heavy]
|
|
steps:
|
|
- uses: actions/checkout@v4
|
|
- uses: ./.github/actions/build_docker_image
|
|
env:
|
|
DOCKERHUB_USER: ${{ secrets.DOCKERHUB_USER }}
|
|
DOCKERHUB_PW: ${{ secrets.DOCKERHUB_PW }}
|
|
GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
|
|
with:
|
|
images: |
|
|
rippleci/clio_ci
|
|
ghcr.io/xrplf/clio-ci
|
|
dockerhub_repo: rippleci/clio_ci
|
|
push_image: ${{ github.event_name != 'pull_request' }}
|
|
directory: docker/ci
|
|
tags: |
|
|
type=raw,value=latest
|
|
type=raw,value=gcc_12_clang_16
|
|
type=raw,value=${{ github.sha }}
|
|
platforms: linux/amd64,linux/arm64
|
|
description: CI image for XRPLF/clio.
|