From 1d4ed0fb6a65c27de471c7853f47ac43782fb89e Mon Sep 17 00:00:00 2001 From: glihm Date: Sun, 29 Sep 2024 22:18:45 -0600 Subject: [PATCH] ci: push devcontainer on workflow dispatch --- .github/workflows/devcontainer.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/workflows/devcontainer.yml b/.github/workflows/devcontainer.yml index 08672eb7f1..0c741ef43a 100644 --- a/.github/workflows/devcontainer.yml +++ b/.github/workflows/devcontainer.yml @@ -64,7 +64,7 @@ jobs: - name: Build and push Docker image uses: docker/build-push-action@v2 with: - push: ${{ (github.event_name == 'push' && github.ref == 'refs/heads/main') || (github.event_name == 'release' && startsWith(github.ref, 'refs/tags/')) }} + push: ${{ (github.event_name == 'push' && github.ref == 'refs/heads/main') || (github.event_name == 'release' && startsWith(github.ref, 'refs/tags/')) || github.event_name == 'workflow_dispatch' }} file: .devcontainer/Dockerfile tags: ghcr.io/${{ github.repository }}-dev:latest,ghcr.io/${{ github.repository }}-dev:${{ env.DOCKER_TAG }} build-args: |