[ci] dump & upload errors #2765

Job	Run time
Check for Duplicates Jobs	6s
EasyCrypt compilation (nix)	35s
EasyCrypt compilation (opam)	1m 36s
Check EasyCrypt Libraries (unit)	1m 39s
Fetch EasyCrypt External Projects Matrix	3s
Check EasyCrypt Libraries (stdlib)	4m 58s
Check EasyCrypt Libraries (examples)	3m 44s
Check EasyCrypt External Projects (jasmin-eclib, https://github.com/jasmin-lang/jasmin, main, ecl...	2m 49s
Check EasyCrypt External Projects (sha3, https://gitlab.com/easycrypt/sha3, next, ., config/tests...	4m 15s
Check EasyCrypt External Projects (ml-kem, https://github.com/formosa-crypto/formosa-mlkem, maste...	2h 0m 43s
Check EasyCrypt External Projects (cryptobox, https://gitlab.com/fdupress/ec-cryptobox, next, ., ...	1m 55s
Check EasyCrypt External Projects (set-status)	2s
Notification	3s
	2h 22m 28s

Provide feedback