Skip to content
EasyCrypt compilation & check

[internal] introduce general code position ranges for selecting code blocks. #3671

Sign in to view logs

[internal] introduce general code position ranges for selecting code blocks.

[internal] introduce general code position ranges for selecting code blocks. #3671

Triggered via pull request February 6, 2025 14:08
@Cameron-LowCameron-Low
opened #709
codepos-range
Status Success
Total duration 23m 57s
Artifacts 10

ci.yml

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

Artifacts

Produced during runtime
Name Size
report.log (cryptobox)
413 Bytes
report.log (examples)
1.2 KB
report.log (jasmin-eclib)
493 Bytes
report.log (sha3)
666 Bytes
report.log (sphincsplus)
614 Bytes
report.log (stdlib)
2.56 KB
report.log (unit)
723 Bytes
report.log (xmss-acai)
617 Bytes
report.log (xmss-fsai)
603 Bytes
report.log (xsalsa20)
339 Bytes