Mentions légales du service

Skip to content
Snippets Groups Projects

Merge branch 'main' of gitlab.inria.fr:hsebia/swotted

Passed
GUYET Thomas created pipeline for commit 6aa32995
, finished
For main
2 jobs 4 minutes 42 seconds, queued for 0 seconds