ci: move dev-container again, just dont run it with everything else

.github/workflows/build.yml

@@ -27,8 +27,8 @@ jobs:
                   "${GITHUB_WORKSPACE}/bin/bazel" test \
                     -c opt \
                     --stamp \
-                    --workspace_status_command hack/workspace_status.sh \
-                      //src/... //hack/...
+                    --workspace_status_command hack/workspace_status.sh --\
+                      //src/... //hack/... -//hack/dev-container/...
 
             - name: Docker Login
               run: |

.github/workflows/dev-container.yml

@@ -4,6 +4,8 @@ on:
     push:
         paths:
             - .devcontainer/*
+            - hack/dev-container
+            - WORKSPACE
             - .github/workflows/dev-container.yml
     schedule:
         - cron: '0 12 * * 2' # 12 noon every tuesday
@@ -34,11 +36,11 @@ jobs:
                     -c opt \
                     --stamp \
                     --workspace_status_command hack/workspace_status.sh \
-                      //.devcontainer:publish-dev-container
+                      //hack/dev-container:publish-dev-container
 
                   echo ${{secrets.DOCKER_PASSWORD}} | docker login -u ${{secrets.DOCKER_USERNAME}} --password-stdin
                   "${GITHUB_WORKSPACE}/bin/bazel" run \
                     -c opt \
                     --stamp \
                     --workspace_status_command hack/workspace_status.sh \
-                      //.devcontainer:publish-dev-container-dockerhub
+                      //hack/dev-container:publish-dev-container-dockerhub