Skip to content
Snippets Groups Projects

Merge branch 'feedback_DR' of gitlab.irit.fr:sepia-pub/mael/batmen into feedback_DR

Passed
created pipeline for commit 4011c2bd
, finished
2 minutes 49 seconds, queued for 9 seconds