Skip to content

sml-aead: unified AEAD facade over ChaCha20-Poly1305 and AES-GCM #1

sml-aead: unified AEAD facade over ChaCha20-Poly1305 and AES-GCM

sml-aead: unified AEAD facade over ChaCha20-Poly1305 and AES-GCM #1

Triggered via push June 22, 2026 02:16
Status Success
Total duration 25s
Artifacts

ci.yml

on: push
MLton (build + test)
22s
MLton (build + test)
Poly/ML (test)
15s
Poly/ML (test)
Fit to window
Zoom out
Zoom in

Annotations

2 warnings
Poly/ML (test)
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: actions/checkout@v4. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
MLton (build + test)
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: actions/checkout@v4. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/