EasyCrypt compilation & check

Fixing code blocks display in readme #3516

Sign in to view logs

Re-run triggered December 18, 2024 06:38

strub

#673

aubertc:main

Status Success

Total duration 22m 46s

Artifacts 10

ci.yml

on: pull_request

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

1 warning

EasyCrypt compilation (nix)

No push credentials found. Ignoring the 'useDaemon' option.

Artifacts

Produced during runtime

Name	Size
report.log (cryptobox)	410 Bytes
report.log (examples)	1.09 KB
report.log (jasmin-eclib)	468 Bytes
report.log (sha3)	667 Bytes
report.log (sphincsplus)	548 Bytes
report.log (stdlib)	2.23 KB
report.log (unit)	608 Bytes
report.log (xmss-acai)	558 Bytes
report.log (xmss-fsai)	540 Bytes
report.log (xsalsa20)	335 Bytes