Skip to content

[seq]: remove bck/fwd option + cleanup #4299

[seq]: remove bck/fwd option + cleanup

[seq]: remove bck/fwd option + cleanup #4299

Triggered via push February 3, 2026 17:28
Status Success
Total duration 22m 55s
Artifacts 10

ci.yml

on: push
EasyCrypt compilation (opam)
3m 0s
EasyCrypt compilation (opam)
Fetch EasyCrypt External Projects Matrix
4s
Fetch EasyCrypt External Projects Matrix
EasyCrypt compilation (nix)
1m 50s
EasyCrypt compilation (nix)
Matrix: Check EasyCrypt Libraries
Matrix: Check EasyCrypt External Projects
Check EasyCrypt External Projects (set-status)
2s
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) Expired
413 Bytes
sha256:264119542e624daeb684cdf4706b56a581751e250b7989fd28b76b8d0c057e2b
report.log (examples) Expired
1.17 KB
sha256:dd659478706e37b898cf210f107fe6679f3880b9c06c32785feed2991c2cb808
report.log (jasmin-eclib) Expired
512 Bytes
sha256:69487fd6ffa1fffe8ac13fa3e2792d9e5e6460bd9e19bc8e2ff4f876885b9ad3
report.log (sha3) Expired
661 Bytes
sha256:60d77ddbaccaeadee862d275013a3c5f2a219cf169674ea531fad7b5b33d7af8
report.log (sphincsplus) Expired
614 Bytes
sha256:870d8f8d978f7ab806fb63b1ce64403fa2931473044c09adc08dd7a8c3b5242e
report.log (stdlib) Expired
2.64 KB
sha256:0978d7cd980c90bac97d21931bb8b14ae4e970c574e54945158bacda2153ac9e
report.log (unit) Expired
1.05 KB
sha256:edda302326c53e050449135910121dcc7237b1f3b56b9f713e1aefbc54e35841
report.log (xmss-acai) Expired
618 Bytes
sha256:58e31817224512d8ad393f82b30e12283973a7b3dc34e3bc271c726febbc8e87
report.log (xmss-fsai) Expired
604 Bytes
sha256:a7568cdef52585b86f70b06c2bd9a94d00b9f2e6a198969339214b67152fc76e
report.log (xsalsa20) Expired
338 Bytes
sha256:bcc896024686e4417a9cba7f73e90f7a0e51da64b00ae750f1b5d927a10b63eb