Skip to content

[runtest] fix TTY detection #2798

[runtest] fix TTY detection

[runtest] fix TTY detection #2798

Triggered via push May 15, 2024 13:09
Status Success
Total duration 2h 13m 34s
Artifacts 8

ci.yml

on: push
Check for Duplicates Jobs
8s
Check for Duplicates Jobs
EasyCrypt compilation (opam)
1m 34s
EasyCrypt compilation (opam)
EasyCrypt compilation (nix)
1m 6s
EasyCrypt compilation (nix)
Matrix: Check EasyCrypt Libraries
Fetch EasyCrypt External Projects Matrix
5s
Fetch EasyCrypt External Projects Matrix
Matrix: Check EasyCrypt External Projects
Check EasyCrypt External Projects (set-status)
3s
Check EasyCrypt External Projects (set-status)
Notification
6s
Notification
Fit to window
Zoom out
Zoom in

Annotations

1 warning
Notification
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: technote-space/workflow-conclusion-action@v3. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.

Artifacts

Produced during runtime
Name Size
report.log (cryptobox)
408 Bytes
report.log (examples)
1.09 KB
report.log (jasmin-eclib)
464 Bytes
report.log (ml-kem)
1.37 KB
report.log (sha3)
2.6 KB
report.log (stdlib)
2.21 KB
report.log (unit)
428 Bytes
report.log (xsalsa20)
336 Bytes