Bump changed files to v13.1 (#614)

* Bump changed files to v13.1

* V13 instead of 13.1

* Edit file specs

* Update pull_request.yml

* Delete docker management

.github/workflows/pull_request.yml

@@ -24,14 +24,6 @@ jobs:
         with:
             files: config_automation.yml # Pass a space-separated list of configuration files. Rightmost files take precedence.
 
-      - name: Verify Dockerfiles changed?
-        uses: tj-actions/[email protected]
-        id: verify-changed-files
-        with:
-          files: |
-             docker/Dockerfile
-             docker/github_package_list.tsv
-
       # Delete the branch if this has been run before
       - name: Delete branch locally and remotely
         run: git push origin --delete preview-${{ github.event.pull_request.number }} || echo "No branch to delete"
@@ -54,9 +46,7 @@ jobs:
       toggle_url_check: "${{ env.URL_CHECKER }}"
       toggle_quiz_check: "${{ env.CHECK_QUIZZES }}"
       toggle_render_preview: "${{ env.RENDER_PREVIEW }}"
-      toggle_docker_build: "${{ env.DOCKER_BUILD }}"
       rendering_docker_image: "${{ env.RENDERING_DOCKER_IMAGE }}"
-      dockerfiles_changed: steps.verify-changed-files.outputs.files_changed
 
 ########################## Make the error reports ##############################
   spell-check:
@@ -223,56 +213,3 @@ jobs:
 
             _Updated at ${{ steps.build-components.outputs.time }} with changes from ${{ steps.build-components.outputs.commit_id }}_
           edit-mode: replace
-
-############################## Build Docker ####################################
-
-  build-docker:
-    name: Build Docker image
-    needs: yaml-check
-    runs-on: ubuntu-latest
-    if: ${{needs.yaml-check.outputs.toggle_docker_build == 'yes' && needs.yaml-check.outputs.dockerfiles_changed == 'true' && github.head_ref != 'repo-sync/OTTR_Template/default'}}
-
-    steps:
-      - name: checkout repo
-        uses: actions/checkout@v3
-
-      - name: Verify Dockerfiles changed?
-        uses: tj-actions/[email protected]
-        id: verify-changed-files
-        with:
-          files: |
-             docker/Dockerfile
-             docker/github_package_list.tsv
-
-      - name: Login as jhudsl-robot
-        run: |
-          git config --local user.email "[email protected]"
-          git config --local user.name "jhudsl-robot"
-
-      # Set up Docker build
-      - name: Set up Docker Buildx
-        uses: docker/setup-buildx-action@v1
-
-      # Setup layer cache
-      - name: Cache Docker layers
-        uses: actions/cache@v2
-        with:
-          path: /tmp/.buildx-cache
-          key: ${{ runner.os }}-buildx-${{ github.sha }}
-          restore-keys: |
-            ${{ runner.os }}-buildx-
-
-      - name: Set up Docker Build
-        uses: docker/setup-buildx-action@v1
-
-      - name: Get token
-        run: echo ${{ secrets.GH_PAT }} > docker/git_token.txt
-
-      - name: Build Docker image
-        uses: docker/build-push-action@v2
-        with:
-          push: false
-          load: true
-          context: docker
-          file: docker/Dockerfile
-          tags: jhudsl/base_ottr