Skip to content
This repository was archived by the owner on Sep 12, 2026. It is now read-only.

sub-MTU XMSS formal proof of classical security in ROM #148

sub-MTU XMSS formal proof of classical security in ROM

sub-MTU XMSS formal proof of classical security in ROM #148

Triggered via pull request August 17, 2026 15:00
@TomWambsgansTomWambsgans
synchronize #10
xmss-fv
Status Success
Total duration 4m 20s
Artifacts

rust.yml

on: pull_request
Fit to window
Zoom out
Zoom in

Annotations

1 warning
release
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/