[ci] dump & upload errors #2754

Job	Run time
Check for Duplicates Jobs	6s
EasyCrypt compilation (nix)	1m 33s
EasyCrypt compilation (opam)	1m 41s
Fetch EasyCrypt External Projects Matrix	3s
Check EasyCrypt Libraries (unit)	1m 43s
Check EasyCrypt Libraries (stdlib)	5m 5s
Check EasyCrypt Libraries (examples)	3m 46s
Check EasyCrypt External Projects (jasmin-eclib, https://github.com/jasmin-lang/jasmin, main, ecl...	1m 52s
Check EasyCrypt External Projects (sha3, https://gitlab.com/easycrypt/sha3, next, ., config/tests...	1m 40s
Check EasyCrypt External Projects (ml-kem, https://github.com/formosa-crypto/formosa-mlkem, maste...	1m 46s
Check EasyCrypt External Projects (cryptobox, https://gitlab.com/fdupress/ec-cryptobox, next, ., ...	1m 44s
Check EasyCrypt External Projects (set-status)	3s
Notification	0s
	21m 2s

Provide feedback