Skip to content

Fixing code blocks display in readme #3519

Fixing code blocks display in readme

Fixing code blocks display in readme #3519

Triggered via push December 18, 2024 07:00
Status Success
Total duration 23m 0s
Artifacts 10
This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

ci.yml

on: push
EasyCrypt compilation (opam)
1m 16s
EasyCrypt compilation (opam)
Fetch EasyCrypt External Projects Matrix
2s
Fetch EasyCrypt External Projects Matrix
EasyCrypt compilation (nix)
1m 39s
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
2s
Notification
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size Digest
report.log (cryptobox) Expired
414 Bytes
sha256:3fc7808529af46805fc597c5054f45b810a639929058dd7610c47ce333445982
report.log (examples) Expired
1.1 KB
sha256:a8167ff8c3ce91d5e562a766566166ab1d2c6fe0066c663762319a64c45b781d
report.log (jasmin-eclib) Expired
468 Bytes
sha256:a60084d9d62e95723f6b5ceec506e404e6f895bd3e2576bd939993169ae460cf
report.log (sha3) Expired
664 Bytes
sha256:f2960cb3ee9397f548d11734eded1c76b91b503a77269b9fc49f0c9c9a3cf97b
report.log (sphincsplus) Expired
546 Bytes
sha256:c6ac41704151663600874ca87cb011bfe022abc7c88e3cb78f97b6ab3d874644
report.log (stdlib) Expired
2.21 KB
sha256:c9179a160ddb5a27eabaf20807d3f4658b91b847e70539d5a5c111b1605b5e2f
report.log (unit) Expired
606 Bytes
sha256:e4c116696c75c7671c23412374db14a961768090dfea4f861772dbb819a3d201
report.log (xmss-acai) Expired
558 Bytes
sha256:53a301146452110da58b2fdfd6eb4a761d09c446e0ba3ad44d314a024a728692
report.log (xmss-fsai) Expired
542 Bytes
sha256:23539519e5babf1b6a34c771235f2f157ff96aec2d9a4eb1ca26eab004a99ea1
report.log (xsalsa20) Expired
341 Bytes
sha256:f1f29615aa0bd620a464a0cbfb9ea8349c954e6df23ce1fc4934c136c0c9fd1b