fix: build dev container when mounted file changed (#792)

serious-scaffold · Nov 17, 2024 · 722fe69 · 722fe69
1 parent fea9391
commit 722fe69
Show file tree

Hide file tree

Showing 4 changed files with 8 additions and 0 deletions.
diff --git a/.github/workflows/devcontainer.yml b/.github/workflows/devcontainer.yml
@@ -6,13 +6,15 @@ on:
       - .devcontainer/Dockerfile
       - .devcontainer/Dockerfile.dockerignore
       - .github/workflows/devcontainer.yml
+      - Makefile
   push:
     branches:
       - main
     paths:
       - .devcontainer/Dockerfile
       - .devcontainer/Dockerfile.dockerignore
       - .github/workflows/devcontainer.yml
+      - Makefile
   workflow_dispatch: null
 
 concurrency:

diff --git a/.gitlab/workflows/devcontainer.yml b/.gitlab/workflows/devcontainer.yml
@@ -13,12 +13,14 @@ dev-container-publish:
         - .devcontainer/Dockerfile
         - .devcontainer/Dockerfile.dockerignore
         - .gitlab/workflows/devcontainer.yml
+        - Makefile
       if: $CI_COMMIT_BRANCH == $CI_DEFAULT_BRANCH && $CI_PIPELINE_SOURCE == "push"
     - if: $CI_COMMIT_BRANCH == $CI_DEFAULT_BRANCH && $CI_PIPELINE_SOURCE == "web"
     - changes:
         - .devcontainer/Dockerfile
         - .devcontainer/Dockerfile.dockerignore
         - .gitlab/workflows/devcontainer.yml
+        - Makefile
       if: $CI_PIPELINE_SOURCE == 'merge_request_event'
   script:
     - docker login -u ${CI_REGISTRY_USER} -p ${CI_REGISTRY_PASSWORD} ${CI_REGISTRY}

diff --git a/...ate/[% if repo_platform == 'github' %].github[% endif %]/workflows/devcontainer.yml.jinja b/...ate/[% if repo_platform == 'github' %].github[% endif %]/workflows/devcontainer.yml.jinja
@@ -7,13 +7,15 @@ on:
       - .devcontainer/Dockerfile
       - .devcontainer/Dockerfile.dockerignore
       - .github/workflows/devcontainer.yml
+      - Makefile
   push:
     branches:
       - main
     paths:
       - .devcontainer/Dockerfile
       - .devcontainer/Dockerfile.dockerignore
       - .github/workflows/devcontainer.yml
+      - Makefile
   workflow_dispatch: null
 
 concurrency:

diff --git a/...o_platform == 'gitlab-self-managed' %].gitlab[% endif %]/workflows/devcontainer.yml.jinja b/...o_platform == 'gitlab-self-managed' %].gitlab[% endif %]/workflows/devcontainer.yml.jinja
@@ -24,12 +24,14 @@ dev-container-publish:
         - .devcontainer/Dockerfile
         - .devcontainer/Dockerfile.dockerignore
         - .gitlab/workflows/devcontainer.yml
+        - Makefile
       if: $CI_COMMIT_BRANCH == $CI_DEFAULT_BRANCH && $CI_PIPELINE_SOURCE == "push"
     - if: $CI_COMMIT_BRANCH == $CI_DEFAULT_BRANCH && $CI_PIPELINE_SOURCE == "web"
     - changes:
         - .devcontainer/Dockerfile
         - .devcontainer/Dockerfile.dockerignore
         - .gitlab/workflows/devcontainer.yml
+        - Makefile
       if: $CI_PIPELINE_SOURCE == 'merge_request_event'
   script:
     - docker login -u ${CI_REGISTRY_USER} -p ${CI_REGISTRY_PASSWORD} ${CI_REGISTRY}