[ghc] 9.4.8 migration for CI

.gitlab-ci.yml

 # Optimising CI speed by using tips from https://blog.nimbleways.com/let-s-make-faster-gitlab-ci-cd-pipelines/
-image: adinapoli/gargantext:v3.4
+#image: adinapoli/gargantext:v3.4
+image: cgenie/gargantext:9.4.8
 
 variables:
   STACK_ROOT: "${CI_PROJECT_DIR}/.stack-root"

README.md

@@ -236,6 +236,27 @@ If you want to run particular tests, use:
 cabal v2-test garg-test-tasty --test-show-details=streaming --test-option=--pattern='/job status update and tracking/
 ```
 
+### CI
+
+The CI is on gitlab and is controlled by the `.gitlab-ci.yml` file.
+
+The Docker image that is used can be built with:
+```shell
+podman build -t cgenie/gargantext:9.4.8 -f ./devops/docker/Dockerfile --format=docker .
+```
+or
+```shell
+docker build -t cgenie/gargantext:9.4.8 -f ./devops/docker/Dockerfile .
+```
+
+NOTE: if podman/docker complains about not enough space, it's probably
+about tmpfs. In that case you can set
+```shell
+mkdir _build
+export TMPDIR=$(pwd)/_build
+```
+(https://stackoverflow.com/questions/75845647/changing-podman-build-to-path-with-more-space).
+
 ### Working on libraries
 
 When a devlopment is needed on libraries (for instance, the HAL crawler in https://gitlab.iscpif.fr/gargantext/crawlers):

devops/docker/Dockerfile

@@ -3,7 +3,7 @@ FROM ubuntu:noble
 ## NOTA BENE: In order for this to be built successfully, you have to run ./devops/coreNLP/build.sh first.
 
 ARG DEBIAN_FRONTEND=noninteractive
-ARG GHC=9.4.7
+ARG GHC=9.4.8
 ARG CORENLP=4.5.4
 ARG CORE
 COPY ./shell.nix                                       /builds/gargantext/shell.nix