[CI] Add infotheo #492

Job	Run time
rocq-core	1m 3s
coq	54s
mathcomp-analysis-single	14m 20s
mathcomp-classical	2m 44s
mathcomp-reals	1m 57s
mathcomp-analysis	15m 30s
mathcomp-experimental-reals	1m 55s
mathcomp-reals-stdlib	1m 36s
mathcomp-analysis-stdlib	13m 12s
mathcomp-infotheo	16m 36s
rocq-core	1m 3s
mathcomp-classical	2m 44s
coq	54s
mathcomp-analysis-single	14m 20s
mathcomp-reals	1m 57s
mathcomp-experimental-reals	1m 55s
mathcomp-reals-stdlib	1m 36s
mathcomp-analysis	15m 30s
mathcomp-infotheo	21m 22s
mathcomp-analysis-stdlib	13m 12s
	2h 24m 20s

Provide feedback