Update ci docs

1 job for ci_tests in 4 minutes and 24 seconds
Name Stage Failure
failed
pages Deploy

remote:
remote: To create a merge request for pages, visit:
remote: https://gitlab-research.centralesupelec.fr/2017bentrioum/markovprocesses.jl/-/merge_requests/new?merge_request%5Bsource_branch%5D=pages
remote:
$ mkdir public/dev
mkdir: cannot create directory 'public/dev': No such file or directory
Cleaning up project directory and file based variables
ERROR: Job failed: exit code 1