This repository was archived by the owner on Aug 27, 2026. It is now read-only.
Fix concrete realized-workload proof and unused simp argument #3
AdityaVG13Annotations
1 warning
|
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
|
706 Bytes |
sha256:b2ec7ca30b53484f6736b1b0d5e38bf24edbf61082acf83d69cb8bd0d947ea75
|
|