Skip to content

Change default pp width from 20 to 80 #3098

Change default pp width from 20 to 80

Change default pp width from 20 to 80 #3098

Triggered via push August 20, 2024 06:46
Status Success
Total duration 13m 59s
Artifacts 7

ci.yml

on: push
Check for Duplicates Jobs
4s
Check for Duplicates Jobs
EasyCrypt compilation (opam)
1m 11s
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)
4s
Check EasyCrypt External Projects (set-status)
Notification
6s
Notification
Fit to window
Zoom out
Zoom in

Annotations

1 warning
Notification
The following actions use a deprecated Node.js version and will be forced to run on node20: technote-space/workflow-conclusion-action@v3. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/

Artifacts

Produced during runtime
Name Size
report.log (cryptobox)
411 Bytes
report.log (examples)
1.1 KB
report.log (jasmin-eclib)
465 Bytes
report.log (sha3)
2.59 KB
report.log (stdlib)
2.21 KB
report.log (unit)
460 Bytes
report.log (xsalsa20)
339 Bytes