Skip to content

Improve nix flake #4277

Improve nix flake

Improve nix flake #4277

Triggered via pull request January 30, 2026 15:59
Status Failure
Total duration 23m 28s
Artifacts 10

ci.yml

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

Annotations

1 error
EasyCrypt compilation (nix)
Process completed with exit code 2.

Artifacts

Produced during runtime
Name Size Digest
report.log (cryptobox)
414 Bytes
sha256:50d3981af5324fc055f923320b6f2cec9485e70149bffcb44acb9e3ccc5f197d
report.log (examples)
1.24 KB
sha256:fa604454d88e4647e5fab52ddbfcc2a05ae4d7f59e66f4e9f546e5a52aaea5ff
report.log (jasmin-eclib)
510 Bytes
sha256:10544ff88b31a16bf6642c16a13c1c7712fcd9111eb734576cc6cffda0ca3d07
report.log (sha3)
657 Bytes
sha256:98811fc6a1c2263a6e6365980a0e2d335364c1668d79a22b430b9735c59d740e
report.log (sphincsplus)
611 Bytes
sha256:c4e1f9a08538d7796aec4dd9d8d7d66e92fb21b735f8ffe85f6470b24742c8e8
report.log (stdlib)
2.58 KB
sha256:17966673e683d161045612fea4ed8d95473cb860c1d21a5df10a119aa39fa4cf
report.log (unit)
1.06 KB
sha256:288c134f392a7f54733b61651a321191b2c36fe9f9986106f38d189eefc4bcca
report.log (xmss-acai)
623 Bytes
sha256:bab8231a2f0713d1f6ea86fd6434faaad7e445a7e7bbad5ec9a96fef10b4af70
report.log (xmss-fsai)
608 Bytes
sha256:dfd95a2c3fe613d7934cca7da846f39efb7ea017a82f95416c2e357f9354a54a
report.log (xsalsa20)
337 Bytes
sha256:77bba18d0fbb260d017540a0058e8da1b04fe46655cddf227edeb7e3f61782f8