Fix sail path; artifact v4

Author: meiniKi

.github/workflows/setup-sail/action.yml

@@ -15,7 +15,11 @@ runs:
         wget https://github.com/rems-project/sail/releases/download/0.19.1-linux-binary/sail.tar.gz
         mkdir sail_0_19_1
         tar -xzf sail.tar.gz -C sail_0_19_1
-        echo "$(pwd)/sail_0_19_1/sail/bin/" >> $GITHUB_PATH 
+        echo "$(pwd)/sail_0_19_1/sail/bin" >> $GITHUB_PATH
+
+    - shell: bash
+      if: steps.cache-sail-riscv.outputs.cache-hit != 'true'
+      run: |   
         git clone --recursive https://github.com/rems-project/sail-riscv.git .sail
         sudo apt install -y build-essential libgmp-dev z3 pkg-config zlib1g-dev
         cd .sail

.github/workflows/track_area.yml

@@ -39,7 +39,7 @@ jobs:
         run: make track.sizes.synth COMMIT=$(git rev-parse --short "$GITHUB_SHA")
 
       - name: Plot artifact
-        uses: actions/upload-artifact@v3
+        uses: actions/upload-artifact@v4
         with:
           name: area_plot
           path: './doc/area*'
@@ -54,7 +54,7 @@ jobs:
       - name: Checkout repository
         uses: actions/checkout@v4
 
-      - uses: actions/download-artifact@v3
+      - uses: actions/download-artifact@v4
 
       - name: Copy to docs
         run: |