Skip to content

Deploy tc

Deploy tc #3548

Triggered via pull request January 7, 2025 16:44
@strubstrub
synchronize #633
deploy-tc
Status Failure
Total duration 18m 11s
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 11s
EasyCrypt compilation (opam)
Fetch EasyCrypt External Projects Matrix
4s
Fetch EasyCrypt External Projects Matrix
EasyCrypt compilation (nix)
1m 19s
EasyCrypt compilation (nix)
Matrix: Check EasyCrypt Libraries
Matrix: Check EasyCrypt External Projects
Check EasyCrypt External Projects (set-status)
2s
Check EasyCrypt External Projects (set-status)
Notification
0s
Notification
Fit to window
Zoom out
Zoom in

Annotations

3 errors
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
414 Bytes
sha256:10e3399566632dab662a683ac9cc1ac858c366a02a75339962b1df5eac9a45cf
report.log (examples) Expired
1.37 KB
sha256:69342a02d9c267df07d210e8fa8029a67eb6e7fee10cc216296ae3f5d8f74cfd
report.log (jasmin-eclib) Expired
468 Bytes
sha256:602ff2a06416d38b1d3cb4126309beafacbaf2dfb7cac4eeb7e7d614cc5746fe
report.log (sha3) Expired
669 Bytes
sha256:96fc7ec0728ed9dd9dfdf480b92fa899c66abd18247d0e91833dd8dab3cf8f2d
report.log (sphincsplus) Expired
594 Bytes
sha256:519fc8c9b0e487849d228876e2b798ac60cbb9714c06452fd09ea3842cf90680
report.log (stdlib) Expired
2.22 KB
sha256:d147d833a4e9a1f8bdcd320ad1bc8193c8d51f7a6700e2183e46f07f28a6f7ff
report.log (unit) Expired
603 Bytes
sha256:db1aaa45601ddaa03a985086ddcda0224c99c240db191f9b7e326c2a7120da6d
report.log (xmss-acai) Expired
556 Bytes
sha256:4de99c29f9f37efc3f9f753bbd430339c4dd0c0b300d600a3ae57341a847025e
report.log (xmss-fsai) Expired
537 Bytes
sha256:9ce4dd72c4e600b5d84e9e71f0c5d2bdcd18be77a127b124adbeef8792b2e421
report.log (xsalsa20) Expired
339 Bytes
sha256:4609a00ba355a55770e8123c0069e6f663a289cc44dc18fd61d581eafbe68193