Une nouvelle version du portail de gestion des comptes externes sera mise en production lundi 09 août. Elle permettra d'allonger la validité d'un compte externe jusqu'à 3 ans. Pour plus de détails sur cette version consulter : https://doc-si.inria.fr/x/FCeS

New release.

4 jobs for interval-4.3.0 in 19 minutes and 50 seconds (queued for 18 minutes and 47 seconds)
latest
Status Job ID Name Coverage
  Build
passed #1201571
docker
build-latest

00:08:10

passed #1201570
docker
build-minimal

00:05:53

 
  Test
passed #1201573
docker
opam-latest

00:05:45

passed #1201572
docker
opam-minimal

00:04:39