Try setting a timeout

entrypoint.sh

@@ -145,10 +145,10 @@ echo "RemoteSha: ${2}" >> "${PKGDIR}/DESCRIPTION"
 fi
 
 # Build source package. Try vignettes, but build without otherwise.
-# R is weird like that, it should be possible to build the package even if there is a documentation bug.
+# We set a timeout such that the workflow can post a 'failure' instead of timing out in CI.
 #mv ${REPO}/.git tmpgit
 echo "::group::R CMD build"
-if ! R_TEXI2DVICMD=emulation PDFLATEX=pdftinytex R_TESTS="/tmp/vignettehack.R" R --no-init-file CMD build ${PKGDIR} --no-manual ${BUILD_ARGS} 1> >(tee stderr_build.log); then
+if ! R_TEXI2DVICMD=emulation PDFLATEX=pdftinytex R_TESTS="/tmp/vignettehack.R" timeout 3600 R --no-init-file CMD build ${PKGDIR} --no-manual ${BUILD_ARGS} 1> >(tee stderr_build.log); then
 VIGNETTE_FAILURE=1
 echo "::endgroup::"
 echo "::group::R CMD build (trying without vignettes)"