Skip to content

Delete .gitignore

Delete .gitignore #9

name: Dev Container Build and Push Image
on:
workflow_dispatch:
push:
branches:
- "main"
tags:
- "v*.*.*"
pull_requests:
branches:
- "main"
jobs:
build-and-push:
runs-on: ubuntu-latest
steps:
-
name: Checkout
id: checkout
uses: actions/checkout@v1
-
name: Login to GitHub Container Registry
uses: docker/login-action@v2
with:
registry: ghcr.io
username: ${{ github.actor }}
password: ${{ secrets.REGISTRY_TOKEN }}
-
name: Pre-build dev container image
uses: devcontainers/[email protected]
with:
subFolder: .github
imageName: ghcr.io/${{ github.repository }}
cacheFrom: ghcr.io/${{ github.repository }}
push: always