fix: recognize locally imported main_user.dict as valid main dictionary #6
LeanBitLabAnnotations
2 warnings
|
build
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-java@v4, actions/upload-artifact@v4, gradle/actions/setup-gradle@v3, softprops/action-gh-release@v2. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
|
|
build
Failed to restore gradle-home-v1|Linux|build[5128b1dbee297f88f2671e5b2f752d8c]-9702659d34c6cc77c99b477ba7cac376a79364ae: Error: Cache service responded with 400
|
Artifacts
Produced during runtime
| Name | Size | Digest | |
|---|---|---|---|
|
LeanType-Release-APKs
|
80.5 MB |
sha256:2cc6a33437e2ee4072abcd61f52591981b0415c4ecd5041f78c23d2ffce92b45
|
|