Skip to content

Update the docker workflow to build a devcontainer specifically #16

Update the docker workflow to build a devcontainer specifically

Update the docker workflow to build a devcontainer specifically #16

Workflow file for this run

name: docker
on:
push:
branches: ["main"]
tags: ["v*.*.*"]
paths:
- .devcontainer/Dockerfile
- .github/workflows/docker.yaml
pull_request:
branches: ["main"]
paths:
- .devcontainer/Dockerfile
- .github/workflows/docker.yaml
workflow_dispatch:
jobs:
docker:
runs-on: ubuntu-latest
permissions:
contents: read
packages: write
id-token: write
steps:
- name: Checkout
uses: actions/checkout@v3
# Install the cosign tool except on PR
# https://github.com/sigstore/cosign-installer
- name: Install cosign
if: github.event_name != 'pull_request'
uses: sigstore/[email protected]
- name: Set up QEMU
uses: docker/setup-qemu-action@v3
- name: Set up Docker Buildx
uses: docker/setup-buildx-action@v3
- name: Login to GitHub Container Registry
uses: docker/login-action@v3
with:
registry: ghcr.io
username: ${{ github.repository_owner }}
password: ${{ secrets.GITHUB_TOKEN }}
# Extract metadata (tags, labels) for Docker
# https://github.com/docker/metadata-action
- name: Extract Docker metadata
id: meta
uses: docker/metadata-action@96383f45573cb7f253c731d3b3ab81c87ef81934 # v5.0.0
with:
images: |
ghcr.io/${{ github.repository }}
tags: |
type=semver,pattern={{version}}
type=ref,event=pr
type=sha,enable={{is_default_branch}},prefix={{date 'YYYYMMDD-HHmmss'}}-,suffix=,format=short
# Build the Docker image with Buildx (don't push yet)
# https://github.com/docker/build-push-action
- name: Build Docker image
id: build-and-push
uses: docker/build-push-action@v5
with:
context: .devcontainer
tags: ${{ steps.meta.outputs.tags }}
labels: ${{ steps.meta.outputs.labels }}
cache-from: type=gha
cache-to: type=gha,mode=max
# Uses the cached prebuilt image and adds
# devcontainer features and metadata before pushing
- name: Add devcontainer extras and push
uses: devcontainers/[email protected]
with:
cacheFrom: ghcr.io/${{ github.repository }}
imageName: ghcr.io/${{ github.repository }}
imageTag: ${{ join(steps.meta.outputs.tags) }}
skipContainerUserIdUpdate: true
platform: linux/amd64,linux/arm64
# https://github.com/devcontainers/ci/releases/tag/v0.3