This repository was archived by the owner on Aug 27, 2026. It is now read-only.
Capture exact Lean compiler transcript for Wave 2 #2
AdityaVG13Annotations
1 error and 1 warning
|
lean-core
Process completed with exit code 1.
|
|
lean-core
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: actions/checkout@11bd71901bbe5b1630ceea73d27597364c9af683, actions/upload-artifact@ea165f8d65b6e75b540449e92b4886f43607fa02. 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 | |
|---|---|---|---|
|
raccr-wave2-lean-transcript
|
862 Bytes |
sha256:5c8fc8f50a34fa5c2a327c619631fa35b2a8dad2faf7e358d775e7d3dbf11629
|
|