Fix build triggers, drop make

trr266 · Feb 24, 2023 · 32c0eda · 32c0eda
1 parent c91cd4a
commit 32c0eda
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 16 deletions.
diff --git a/.github/workflows/push-container.yml b/.github/workflows/push-container.yml
@@ -11,9 +11,9 @@ on:
     branches: ['main']
     paths:
       - .devcontainer/Dockerfile
-      - Manifest.toml
-      - Project.toml
-      - requirements.txt
+      - .github/workflows/push-container.yml
+      - docs/Manifest.toml
+      - docs/Project.toml
   # to be able to trigger a manual build
   workflow_dispatch:
 

diff --git a/Makefile b/Makefile