ci: Build and publish dev image

* Remove redundent docker publish workflow. * Add instructions to build and publish dev docker image. * Rename build-base workflow.
ietf-tools · Aug 9, 2022 · 06b8933 · 06b8933
1 parent 91e2711
commit 06b8933
Show file tree

Hide file tree

Showing 2 changed files with 12 additions and 103 deletions.
diff --git a/.github/workflows/build-base.yml → .github/workflows/build-docker-images.yml b/.github/workflows/build-base.yml → .github/workflows/build-docker-images.yml
@@ -1,11 +1,12 @@
-name: Build Base Docker Image
+name: Build Docker Images
 
 on:
  push:
  branches:
  - 'main'
  paths:
  - 'docker/base.Dockerfile'
+ - 'docker/dev.Dockerfile'
 
  workflow_dispatch:
 
@@ -32,11 +33,20 @@ jobs:
  username: ${{ github.actor }}
  password: ${{ secrets.GITHUB_TOKEN }}
 
- - name: Docker Build & Push
+ - name: Base image - Docker Build & Push
  uses: docker/build-push-action@v3
  with:
  context: .
  file: docker/base.Dockerfile
  platforms: linux/amd64,linux/arm64
  push: true
  tags: ghcr.io/ietf-tools/xml2rfc-base:latest
+
+ - name: Dev image - Docker Build & Push
+ uses: docker/build-push-action@v3
+ with:
+ context: .
+ file: docker/dev.Dockerfile
+ platforms: linux/amd64,linux/arm64
+ push: true
+ tags: ghcr.io/ietf-tools/xml2rfc-dev:latest
diff --git a/.github/workflows/docker-publish.yml b/.github/workflows/docker-publish.yml