Skip to content

LSP

LSP #4221

Triggered via pull request January 21, 2026 19:41
@strubstrub
opened #871
vscode
Status Success
Total duration 23m 53s
Artifacts 10

ci.yml

on: pull_request
EasyCrypt compilation (opam)
2m 49s
EasyCrypt compilation (opam)
Fetch EasyCrypt External Projects Matrix
6s
Fetch EasyCrypt External Projects Matrix
EasyCrypt compilation (nix)
2m 27s
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
7s
Notification
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size Digest
report.log (cryptobox)
413 Bytes
sha256:1e24baeb0775823c5240cf7dbf4b2e970f5fa92c86308ea8e7afd153670aea36
report.log (examples)
1.22 KB
sha256:5ab3bcf402cdb4489a33a14a82a8bcda85ef7b971647cc7ed16aae63e898e220
report.log (jasmin-eclib)
515 Bytes
sha256:8b691151ea33b39c28bd25f5d8c9257eca8b2eaf07318777e174e8fb0083db8c
report.log (sha3)
666 Bytes
sha256:c1fb459b2a6cb5c6478ff63ad9d902eac4977d115d928393605608b524ec7968
report.log (sphincsplus)
611 Bytes
sha256:9d41e1719362876b3baa3432136d78de27d1e3404fbf8005823ba42e13d9e7c7
report.log (stdlib)
2.61 KB
sha256:dc12520dbb029be169c6dcda321a79202f31fb8c493cbea36fd03fa7f9ecb79f
report.log (unit)
1 KB
sha256:9698022eaac7ab38a48cf6eb7cb76049e05c717f478a55917431b70c6f86c640
report.log (xmss-acai)
619 Bytes
sha256:349b9ed476381891c89bf5481e9d9c0fda916c1d51a53f22f5279237f03c8822
report.log (xmss-fsai)
610 Bytes
sha256:927862f775f8075f58ea01c9a5c829940209cc95a1dcdf2fb1198f4fae485916
report.log (xsalsa20)
339 Bytes
sha256:9b27f448e45ccd17b9c2fa9463939c131287e8512bd722b6f2994eb7af8cff8f