Skip to content
EasyCrypt compilation & check

Fix some regressions from PR #789 #4020

Sign in to view logs

Fix some regressions from PR #789

Fix some regressions from PR #789 #4020

Triggered via pull request October 14, 2025 16:02
@oskgooskgo
opened #820
fix-789-regressions
Status Success
Total duration 24m 36s
Artifacts 10

ci.yml

on: pull_request
EasyCrypt compilation (opam)
3m 34s
EasyCrypt compilation (opam)
Fetch EasyCrypt External Projects Matrix
5s
Fetch EasyCrypt External Projects Matrix
EasyCrypt compilation (nix)
3m 19s
EasyCrypt compilation (nix)
Matrix: Check EasyCrypt Libraries
Matrix: Check EasyCrypt External Projects
Check EasyCrypt External Projects (set-status)
5s
Check EasyCrypt External Projects (set-status)
Notification
4s
Notification
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size Digest
report.log (cryptobox) Expired
412 Bytes
sha256:5e85648ec9811bb3df1f479aa1527deb435251a2005aa1ef17a41b7ce98dd27d
report.log (examples) Expired
1.18 KB
sha256:3ac1686651d7deaf5891729e9dccc632fa58230bfb832c962896b27bacb946b8
report.log (jasmin-eclib) Expired
507 Bytes
sha256:08d3e4f94a355b42ef8cbe1d4d00a6bc10ea6a44041b9b58e1dfacb54932d6a9
report.log (sha3) Expired
668 Bytes
sha256:6d14de7cfa266c5568daf57d511744cb81b852ed819afc8e211dc15fd8be063d
report.log (sphincsplus) Expired
613 Bytes
sha256:75aab82f376d41bb0c661a5c3c967eb6c3a0ca47cb6ac902e65db9199dabdd8c
report.log (stdlib) Expired
2.6 KB
sha256:d2b2e9bb5f690daa5f4effed028ede134f99a2b3019ef6bd6dd1d1af2794d557
report.log (unit) Expired
860 Bytes
sha256:0a28cb73acd87437e723308fe5948110bc416861f3258ee86b6523bdddbc2302
report.log (xmss-acai) Expired
620 Bytes
sha256:121f524fca9780f6a31c08306c344db90fcffbf961af687b1b0a681fdeeea806
report.log (xmss-fsai) Expired
609 Bytes
sha256:686f79257f6a2bb1cd4f72bf40a831166a5f7d4272a4934404976270333c9586
report.log (xsalsa20) Expired
339 Bytes
sha256:1330096e5c7f68b125ea0f6adc1fd8fe4c77b97c1a73272dc48adc0f02b83c8b