Maj terminée. Pour consulter la release notes associée voici le lien :
https://about.gitlab.com/releases/2021/07/07/critical-security-release-gitlab-14-0-4-released/

Ensure compatibility with Coq 8.14 (fix #6).

6 jobs for master in 25 minutes and 54 seconds (queued for 2 seconds)
Status Job ID Name Coverage
  Build
passed #1199843
docker
build-latest

00:13:11

passed #1199842
docker
build-minimal

00:12:50

 
  Test
passed #1199845
docker
opam-latest

00:06:41

passed #1199844
docker
opam-minimal

00:06:05

 
  Deploy
passed #1199846
docker
pages

00:06:00

passed pages:deploy

00:00:01