ci: 👷 If push to .devcontainer, rebuild the Docker image

caefisica · Aug 17, 2023 · 2638b71 · 2638b71
1 parent a5ae28f
commit 2638b71
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/.github/workflows/docker-publish.yml b/.github/workflows/docker-publish.yml
@@ -4,6 +4,9 @@ on:
   schedule:
     - cron: '0 20 1 * *'
   workflow_dispatch:
+  push:
+    paths:
+      - .devcontainer/**
 
 env:
   REGISTRY: ghcr.io