update github actions

Author: afrendeiro

.github/workflows/build.yml

@@ -73,7 +73,7 @@ jobs:
             build/lab-manual.pdf
 
     - name: Upload Pages artifact
-      uses: actions/upload-pages-artifact@v1
+      uses: actions/upload-pages-artifact@v3.0.1
       with:
         path: build