Skip to content

Bdep

Bdep #3455

Triggered via pull request November 12, 2024 10:03
@strubstrub
synchronize #603
bdep
Status Failure
Total duration 25m 38s
Artifacts 10

ci.yml

on: pull_request
EasyCrypt compilation (opam)
2m 42s
EasyCrypt compilation (opam)
Fetch EasyCrypt External Projects Matrix
3s
Fetch EasyCrypt External Projects Matrix
EasyCrypt compilation (nix)
50s
EasyCrypt compilation (nix)
Matrix: Check EasyCrypt Libraries
Matrix: Check EasyCrypt External Projects
Check EasyCrypt External Projects (set-status)
3s
Check EasyCrypt External Projects (set-status)
Notification
0s
Notification
Fit to window
Zoom out
Zoom in

Annotations

2 errors
EasyCrypt compilation (nix)
Process completed with exit code 2.
Check EasyCrypt Libraries (examples)
Process completed with exit code 2.

Artifacts

Produced during runtime
Name Size Digest
report.log (cryptobox) Expired
410 Bytes
sha256:449981b69a7b39d775c2f18cf7085ed5f5bd4804b91187c459143071f1347e05
report.log (examples) Expired
1.18 KB
sha256:905634fa442ed42639f1b429c3e96f8537a4f008c0eed0fdbc8734440ea6916d
report.log (jasmin-eclib) Expired
469 Bytes
sha256:20aafc83c8c3e134ebab54c65486b06f65b5d50138f51ea000de4002e8a9782f
report.log (sha3) Expired
670 Bytes
sha256:b174183193b0f53d3a3aaa7ef832a1dab88848a1488b9fe989b295e97652ae2d
report.log (sphincsplus) Expired
544 Bytes
sha256:c81d509500119f6e34fde2dcd0125380b96406d9ab17a43511b9e81639573921
report.log (stdlib) Expired
2.24 KB
sha256:d349c6aa079f3e7cafc91f8e85996439d07fa24b1679a51d29d08497c7c7eece
report.log (unit) Expired
599 Bytes
sha256:feb0ba4ef5f02ed575bbe379b51a286a1dba1555dd15575cca8c8facff3bc6d3
report.log (xmss-acai) Expired
558 Bytes
sha256:a5de760b5d0849c3de83dbedb43eb08ed77812ad9898b364ddfac76ea8838957
report.log (xmss-fsai) Expired
537 Bytes
sha256:cdad2f7a3bf35605f2620fabe18c70324cec329feede6cd763c6324315504f1f
report.log (xsalsa20) Expired
338 Bytes
sha256:bb8b269e642f44b31683f4d28c1e59abf7c31f9b4546afb879ce65025772af3e