Sphincs FV #42
TomWambsganslean.yml
on: pull_request
xmss-formalization
5m 23s
sphincs-formalization
12m 29s
Annotations
3 errors and 2 warnings
|
Lean
Canceling since a higher priority waiting request for lean-refs/pull/275/merge exists
|
|
sphincs-formalization
Canceling since a higher priority waiting request for lean-refs/pull/275/merge exists
|
|
sphincs-formalization
The operation was canceled.
|
|
xmss-formalization
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, actions/upload-artifact@v4. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
|
|
sphincs-formalization
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/
|
Artifacts
Produced during runtime
| Name | Size | Digest | |
|---|---|---|---|
|
xmss-axioms
|
236 Bytes |
sha256:e6a9e6a52523bc3536261d27fb4ddd8db3705e36a6ce96a250d5ff33335d3f2e
|
|