Skip to content
EasyCrypt compilation & check

Internal: correctly preserve match statements when constructing a zipper #4361

Sign in to view logs

Internal: correctly preserve match statements when constructing a zipper

Internal: correctly preserve match statements when constructing a zipper #4361

Triggered via pull request February 13, 2026 12:06
@Cameron-LowCameron-Low
opened #899
fix-zipper-match
Status Success
Total duration 19m 53s
Artifacts 9

ci.yml

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

Artifacts

Produced during runtime
Name Size Digest
report.log (cryptobox)
413 Bytes
sha256:e7f7e2f997328e86802acac88d6a74092631af58ff38f61019ec8273f34dcc04
report.log (examples)
1.25 KB
sha256:b6ed58de647c2ea235354a57f3e6e4d2998610aeaf1460015a4c717a103c724a
report.log (jasmin-eclib)
512 Bytes
sha256:13b19d0fbab700e35a2eec9f99971219cdbf01a740615c487e38faf9ab64aed4
report.log (sha3)
666 Bytes
sha256:96ece343342eac0b014e75ffd33cc30de6b4a96b6d3248c96a974af3f3abf788
report.log (sphincsplus)
547 Bytes
sha256:00b1e8ab9db5af2d9621adc0f8939145e063b93e925d1a6c66806f3771f77033
report.log (stdlib)
2.63 KB
sha256:095a0f96bc11c4b15745c1c85df326e116efa76186743c2c4ec8bbfd2fe91ec6
report.log (unit)
1.06 KB
sha256:3ff7e4f616dec3b6a7d8587b77f9f18f0c62a9bd0c4b282a3d74bdd1d7c7c530
report.log (xmss-security)
582 Bytes
sha256:02e8b4b89573efb82afac9226ba60a43a25b0f9f88a19d8003a1b8f13cc15f74
report.log (xsalsa20)
339 Bytes
sha256:90cb22f2c5c602360f8bdd9a0425d05e10d3ecaba36e395531288465d1e697f8