module ci : export mantis correct