Skip to content
EasyCrypt compilation & check

Deploy tc #3552

Sign in to view logs

Deploy tc

Deploy tc #3552

Triggered via pull request January 8, 2025 15:08
@strubstrub
synchronize #633
deploy-tc
Status Failure
Total duration 20m 49s
Artifacts 10
This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

ci.yml

on: pull_request
EasyCrypt compilation (opam)
1m 15s
EasyCrypt compilation (opam)
Fetch EasyCrypt External Projects Matrix
4s
Fetch EasyCrypt External Projects Matrix
EasyCrypt compilation (nix)
1m 15s
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

6 errors
Check EasyCrypt Libraries (unit)
Process completed with exit code 2.
Check EasyCrypt External Projects (xmss-fsai, https://github.com/MM45/FV-XMSS-EC, master, ., conf...
Process completed with exit code 2.
Check EasyCrypt External Projects (xmss-acai, https://github.com/MM45/FV-XMSS-EC, master, ., conf...
Process completed with exit code 2.
Check EasyCrypt External Projects (sphincsplus, https://github.com/MM45/FV-SPHINCSPLUS-EC, master...
Process completed with exit code 2.
Check EasyCrypt Libraries (examples)
Process completed with exit code 2.
Check EasyCrypt External Projects (set-status)
Process completed with exit code 1.

Artifacts

Produced during runtime
Name Size Digest
report.log (cryptobox) Expired
413 Bytes
sha256:47e64fee4909d58e5877f98d7c8f8aa3c038ed5784598090e66cacb4a64c1b0d
report.log (examples) Expired
1.55 KB
sha256:4c8b565c0b58a143e21e097fdfeb92594694dd492f95bcd483a48aa3eb141865
report.log (jasmin-eclib) Expired
467 Bytes
sha256:d7fb2d675ba9a809d5565ca2e37eb51b84f46f35aac3323af023a9ede41abb1b
report.log (sha3) Expired
667 Bytes
sha256:b1c14448ec77765882f71a69f89a47796ef6f21af78a6211071425a2d9bb9d3b
report.log (sphincsplus) Expired
598 Bytes
sha256:01ee89c9d3f9eea193941f23448ac0443f9e1c6c8b0b484f8bc7d6594ff198f6
report.log (stdlib) Expired
2.24 KB
sha256:53e77d747172c5d7e2967c8380709d15d427813f2a39688a9d0a6ea5ff25c546
report.log (unit) Expired
648 Bytes
sha256:9ccac0f6f016894ff382e953da83ba1ec6a8677eed03b85aaedb83067d6d1cc1
report.log (xmss-acai) Expired
603 Bytes
sha256:ab81b8c38306752002851b950c30f42f7944c3454969276c7a1251670cdfc04f
report.log (xmss-fsai) Expired
589 Bytes
sha256:e2a45296173c0289aaaa3af9a71be7c1ccdc34d67896452844ced1031ae1a92c
report.log (xsalsa20) Expired
340 Bytes
sha256:5c9c843495ef904ddb74b8aed9aefd899ce55664c697b010fe48030ce7746493