Separate main, wiki paths

.github/workflows/docker.yml

@@ -15,19 +15,13 @@ jobs:
     steps:
       - name: Clone Main Repo
         uses: actions/checkout@v2
-      - name: Debug
-        run: |
-          pwd
-          ls -al
+        with:
+          path: main
       - name: Clone Wiki
         uses: actions/checkout@v2
         with:
           repository: ${{github.repository}}.wiki
-          path: "${{github.repository}}.wiki"
-      - name: Debug
-        run: |
-          pwd
-          ls -al
+          path: wiki
       - name: Set Up Python
         uses: actions/setup-python@v2
         with:
@@ -35,16 +29,16 @@ jobs:
       - name: Install Dev Dependencies
         run: |
           python -m pip install --upgrade pip
-          make dev-env lint-install
+          make -C main dev-env lint-install
       - name: Lint Dockerfiles
-        run: make lint-all
+        run: make -C main lint-all
       - name: Build Docker Images
-        run: make build/base-notebook test/base-notebook # build-test-all
+        run: make -C main build-test-all
       - name: Run Post-Build Hooks
-        run: make hook/base-notebook #hooks-all
+        run: make -C main hooks-all
         env:
           COMMIT_MSG: "${{github.event.head_commit.message}}"
-          WIKI_PATH: "${{runner.temp}}/${{github.repository}}.wiki"
+          WIKI_PATH: ../wiki
 
   push:
     name: Push Docker Images
@@ -54,7 +48,7 @@ jobs:
     if: github.ref == 'refs/heads/master'
     steps:
       - name: Push Images
-        run: make push-all
+        run: make -C main push-all
       # TODO: doesn't support working directory
       - name: Push Wiki
         uses: mikeal/publish-to-github-action@master