Skip to content
Always-on metadata guards

feat(lean,#16752): GenEFT module — description length (orbit-stabilizer), Theorem 1 clustering, competition invariant (R06 Tegmark corpus) #7666

Sign in to view logs

feat(lean,#16752): GenEFT module — description length (orbit-stabilizer), Theorem 1 clustering, competition invariant (R06 Tegmark corpus)

feat(lean,#16752): GenEFT module — description length (orbit-stabilizer), Theorem 1 clustering, competition invariant (R06 Tegmark corpus) #7666

Triggered via pull request September 23, 2026 07:27
@jsboigejsboige
edited #16968
feature/16752-r06-genef
Status Success
Total duration 21s
Artifacts –

always-on-metadata-guards.yml

on: pull_request
Always-on metadata guards -- 3 organes, 1 checkout
17s
Always-on metadata guards -- 3 organes, 1 checkout
Fit to window
Zoom out
Zoom in

Annotations

1 warning
Always-on metadata guards -- 3 organes, 1 checkout
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/setup-python@v5. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/