Update workflow scripts

Use latest versions of actions.
Build the whole ig publisher instead of just sushi, in PR check.

.github/workflows/build.yml

@@ -28,17 +28,17 @@ jobs:
     runs-on: ubuntu-latest
 
     steps:
-    - uses: actions/checkout@v3
+    - uses: actions/checkout@v4
     - name: Setup IG publisher
       run: docker compose run runner bash -c "./_updatePublisher.sh --yes"
     - name: Generate
       run: docker compose run runner bash -c "./_genonce.sh"
     - name: Setup Pages
-      uses: actions/configure-pages@v2
+      uses: actions/configure-pages@v5
     - name: Upload artifact
-      uses: actions/upload-pages-artifact@v1
+      uses: actions/upload-pages-artifact@v3
       with:
         path: './output'
     - name: Deploy to GitHub Pages
       id: deployment
-      uses: actions/deploy-pages@v1
+      uses: actions/deploy-pages@v4

.github/workflows/pr-verification.yml

@@ -10,6 +10,12 @@ jobs:
     runs-on: ubuntu-latest
 
     steps:
-    - uses: actions/checkout@v3
-    - name: Run sushi
-      run: docker compose run runner bash -c "sushi"
+    - uses: actions/checkout@v4
+    - name: Update the Docker image to the latest publisher
+      uses: docker://hl7fhir/ig-publisher-base:latest
+      with:
+        args: curl -L https://github.com/HL7/fhir-ig-publisher/releases/latest/download/publisher.jar -o ./input-cache/publisher.jar --create-dirs
+    - name: Run the IG publisher
+      uses: docker://hl7fhir/ig-publisher-base:latest
+      with:
+        args: java -jar ./input-cache/publisher.jar publisher -ig .