Merge pull request #1373 from alphagov/sengi/rm-jenkinsfile

Remove disused Jenkinsfile etc.

.dockerignore

@@ -3,8 +3,6 @@
 .github
 .gitignore
 Dockerfile
-Jenkinsfile
-Procfile
 README.md
 coverage
 docs

.github/workflows/ci.yml

@@ -5,9 +5,6 @@ on:
   push:
     branches:
       - main
-    paths-ignore:
-      - "Jenkinsfile"
-      - ".git**"
   pull_request:
 
 jobs:
@@ -55,7 +52,9 @@ jobs:
         uses: alphagov/govuk-infrastructure/.github/actions/setup-mysql@main
 
       - name: Checkout repository
-        uses: actions/checkout@v3
+        uses: actions/checkout@v4
+        with:
+          show-progress: false
 
       - name: Setup Ruby
         uses: ruby/setup-ruby@v1