[ci] dump & upload errors #2761

Job	Run time
Check for Duplicates Jobs	5s
EasyCrypt compilation (opam)	1m 42s
EasyCrypt compilation (nix)	1m 5s
Check EasyCrypt Libraries (unit)	1m 39s
Fetch EasyCrypt External Projects Matrix	5s
Check EasyCrypt Libraries (stdlib)	5m 23s
Check EasyCrypt Libraries (examples)	3m 49s
Check EasyCrypt External Projects (jasmin-eclib, https://github.com/jasmin-lang/jasmin, main, ecl...	2m 20s
Check EasyCrypt External Projects (sha3, https://gitlab.com/easycrypt/sha3, next, ., config/tests...	4m 11s
Check EasyCrypt External Projects (ml-kem, https://github.com/formosa-crypto/formosa-mlkem, maste...	2h 11m 27s
Check EasyCrypt External Projects (cryptobox, https://gitlab.com/fdupress/ec-cryptobox, next, ., ...	1m 59s
Check EasyCrypt External Projects (set-status)	2s
Notification	6s
	2h 33m 53s

Provide feedback