module CI : export mantis correct