docs(s001): four stale claims in PROOF.md, including a typed count in… #10
HackTuahAnnotations
18 warnings
|
macOS aarch64
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, mlugg/setup-zig@v2. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
|
|
macOS aarch64
"xref: [exclude: ...]" in your mix.exs file is deprecated, instead use: "elixirc_options: [no_warn_undefined: ...]"
|
|
macOS aarch64
"xref: [exclude: ...]" in your mix.exs file is deprecated, instead use: "elixirc_options: [no_warn_undefined: ...]"
|
|
macOS aarch64
"xref: [exclude: ...]" in your mix.exs file is deprecated, instead use: "elixirc_options: [no_warn_undefined: ...]"
|
|
macOS aarch64
"xref: [exclude: ...]" in your mix.exs file is deprecated, instead use: "elixirc_options: [no_warn_undefined: ...]"
|
|
macOS aarch64
"xref: [exclude: ...]" in your mix.exs file is deprecated, instead use: "elixirc_options: [no_warn_undefined: ...]"
|
|
linux x86_64
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, mlugg/setup-zig@v2. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
|
|
linux x86_64
"xref: [exclude: ...]" in your mix.exs file is deprecated, instead use: "elixirc_options: [no_warn_undefined: ...]"
|
|
linux x86_64
"xref: [exclude: ...]" in your mix.exs file is deprecated, instead use: "elixirc_options: [no_warn_undefined: ...]"
|
|
linux x86_64
"xref: [exclude: ...]" in your mix.exs file is deprecated, instead use: "elixirc_options: [no_warn_undefined: ...]"
|
|
linux x86_64
"xref: [exclude: ...]" in your mix.exs file is deprecated, instead use: "elixirc_options: [no_warn_undefined: ...]"
|
|
linux x86_64
"xref: [exclude: ...]" in your mix.exs file is deprecated, instead use: "elixirc_options: [no_warn_undefined: ...]"
|
|
windows x86_64
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, mlugg/setup-zig@v2. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
|
|
windows x86_64
"xref: [exclude: ...]" in your mix.exs file is deprecated, instead use: "elixirc_options: [no_warn_undefined: ...]"
|
|
windows x86_64
"xref: [exclude: ...]" in your mix.exs file is deprecated, instead use: "elixirc_options: [no_warn_undefined: ...]"
|
|
windows x86_64
"xref: [exclude: ...]" in your mix.exs file is deprecated, instead use: "elixirc_options: [no_warn_undefined: ...]"
|
|
windows x86_64
"xref: [exclude: ...]" in your mix.exs file is deprecated, instead use: "elixirc_options: [no_warn_undefined: ...]"
|
|
windows x86_64
"xref: [exclude: ...]" in your mix.exs file is deprecated, instead use: "elixirc_options: [no_warn_undefined: ...]"
|
Artifacts
Produced during runtime
| Name | Size | Digest | |
|---|---|---|---|
|
desktop_linux_x86_64
|
19.5 MB |
sha256:63434995ce14198e657190c96a49dce0e1bc0112815c5e7534add5fcf7d84ff2
|
|
|
desktop_macos_aarch64
|
11.2 MB |
sha256:62265144b1619e86007722d4e993794a6182aa5a72808035dd32f0cf74f8f0db
|
|
|
desktop_windows_x86_64.exe
|
23 MB |
sha256:09ade4ef33e83f9fb76a89992422c761087fa326e5ba87421e44882b9515e0fd
|
|
|
launch-log-linux_x86_64
|
695 Bytes |
sha256:89899daa348648c9ac084ad0a88f6fcec96daf8b326b17436196fa65075cb1b7
|
|
|
launch-log-macos_aarch64
|
698 Bytes |
sha256:5bb36dfaf01126b00308ba76eabfa242cc4c7c266cdcffb6f8dcaa47a1455a33
|
|
|
launch-log-windows_x86_64
|
259 Bytes |
sha256:f0322f33749a49d525f4c7336441f851a18d60b74e8f5361086964c124ffca47
|
|