EasyCrypt compilation & check

Some refactoring #3505

Sign in to view logs

Re-run triggered December 18, 2024 07:17

strub

feature-lossless-while

Status Failure

Total duration 6m 41s

Artifacts 10

This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

ci.yml

on: push

Check for Duplicates Jobs

EasyCrypt compilation (opam)

Fetch EasyCrypt External Projects Matrix

EasyCrypt compilation (nix)

Matrix: Check EasyCrypt Libraries

Matrix: Check EasyCrypt External Projects

Check EasyCrypt External Projects (set-status)

Annotations

7 errors

Check EasyCrypt External Projects (cryptobox, https://gitlab.com/fdupress/ec-cryptobox, next, ., ...

Process completed with exit code 2.

Check EasyCrypt External Projects (xsalsa20, https://gitlab.com/fdupress/ec-xsalsa, master, ., co...

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 (xmss-fsai, https://github.com/MM45/FV-XMSS-EC, master, ., conf...

Process completed with exit code 2.

Check EasyCrypt External Projects (sha3, https://gitlab.com/easycrypt/sha3, next, ., config/tests...

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 External Projects (set-status)

Process completed with exit code 1.

Artifacts

Produced during runtime

Name	Size	Digest
report.log (cryptobox) Expired	475 Bytes	`sha256:90e8c8d47ecd35423689597de972e71609d425298e1912d5f32c2b45e6c25185`
report.log (examples) Expired	1.09 KB	`sha256:a607a41cde4f1d3058c1919dc0dd563758f0982bac3bb0ba08b5b9f8c00cf08d`
report.log (jasmin-eclib) Expired	469 Bytes	`sha256:369eff8bea38f09b471f66a8a3c85f81b3d282fd9b43ad72eea1648ce240af65`
report.log (sha3) Expired	805 Bytes	`sha256:68e2507d3662a667f5f99e3c12a3a7df00da63b81d8205348cd4e9027f0bc910`
report.log (sphincsplus) Expired	662 Bytes	`sha256:8dfd740c085eb66c1245053b980023750ef85d6af05d15010a59b5bfdef1133c`
report.log (stdlib) Expired	2.22 KB	`sha256:e394ae7b06b8e5c40098b6c13f123b52059d4d49f9fe92b5e64100152bdaf2d2`
report.log (unit) Expired	483 Bytes	`sha256:be345869799246a246284c6a648b76de3dde24a87b36a3bc77b408215712d28e`
report.log (xmss-acai) Expired	682 Bytes	`sha256:adf2c9f10894f3510f4ba67425595986a31836c6d578a782c22109839a745e7a`
report.log (xmss-fsai) Expired	665 Bytes	`sha256:5751e130575ea2ac7c5672295d4252a446bf7c3de8d0a2cdd17be835ae10629a`
report.log (xsalsa20) Expired	419 Bytes	`sha256:f0889d727ab505b5228e605948b3e2455be292298d165e157b515411b951fad8`