2022-11-10 09:53:02 +01:00
|
|
|
name: Build devcontainer image
|
|
|
|
|
|
|
|
on:
|
|
|
|
workflow_dispatch:
|
|
|
|
push:
|
|
|
|
branches:
|
|
|
|
- main
|
|
|
|
paths:
|
|
|
|
- .devcontainer/**
|
|
|
|
schedule:
|
|
|
|
- cron: '0 0 1 * *'
|
|
|
|
pull_request:
|
|
|
|
branches:
|
|
|
|
- main
|
|
|
|
paths:
|
|
|
|
- .devcontainer/**
|
|
|
|
|
|
|
|
jobs:
|
|
|
|
build:
|
|
|
|
runs-on: ubuntu-latest
|
|
|
|
steps:
|
2023-10-31 00:03:40 +01:00
|
|
|
- uses: actions/checkout@v4.1.1
|
2022-11-10 09:53:02 +01:00
|
|
|
- name: Log in to the GitHub container registry
|
2023-10-30 23:18:30 +01:00
|
|
|
uses: docker/login-action@v3.0.0
|
2022-11-10 09:53:02 +01:00
|
|
|
if: github.event_name != 'pull_request'
|
|
|
|
with:
|
|
|
|
registry: ghcr.io
|
|
|
|
username: ${{ github.repository_owner }}
|
|
|
|
password: ${{ secrets.GITHUB_TOKEN }}
|
|
|
|
- name: Set up QEMU
|
2023-10-30 23:18:40 +01:00
|
|
|
uses: docker/setup-qemu-action@v3.0.0
|
2022-11-10 09:53:02 +01:00
|
|
|
- name: Set up Docker Buildx
|
2023-10-30 23:18:55 +01:00
|
|
|
uses: docker/setup-buildx-action@v3.0.0
|
2022-11-10 09:53:02 +01:00
|
|
|
- name: Build and Push
|
2023-11-28 05:26:00 +01:00
|
|
|
uses: docker/build-push-action@v5.1.0
|
2022-11-10 09:53:02 +01:00
|
|
|
with:
|
|
|
|
context: .
|
|
|
|
file: .devcontainer/Dockerfile
|
|
|
|
tags: ghcr.io/${{ github.repository_owner }}/devcontainer:addons
|
|
|
|
push: ${{ github.event_name != 'pull_request' }}
|
|
|
|
platforms: linux/amd64,linux/arm64
|