Skip to content
EasyCrypt compilation & check

revert subtype theory + syntactic sugar for cloning it #3648

Sign in to view logs

revert subtype theory + syntactic sugar for cloning it

revert subtype theory + syntactic sugar for cloning it #3648

Triggered via pull request January 20, 2025 13:58
@strubstrub
synchronize #691
subtype-theory
Status Success
Total duration 23m 50s
Artifacts 10

ci.yml

on: pull_request
EasyCrypt compilation (opam)
2m 43s
EasyCrypt compilation (opam)
Fetch EasyCrypt External Projects Matrix
3s
Fetch EasyCrypt External Projects Matrix
EasyCrypt compilation (nix)
1m 14s
EasyCrypt compilation (nix)
Matrix: Check EasyCrypt Libraries
Matrix: Check EasyCrypt External Projects
Check EasyCrypt External Projects (set-status)
1s
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)
414 Bytes
report.log (examples)
1.18 KB
report.log (jasmin-eclib)
494 Bytes
report.log (sha3)
670 Bytes
report.log (sphincsplus)
548 Bytes
report.log (stdlib)
2.56 KB
report.log (unit)
707 Bytes
report.log (xmss-acai)
617 Bytes
report.log (xmss-fsai)
600 Bytes
report.log (xsalsa20)
338 Bytes