Build the project · leanprover-community/lean4web@ed85c0e

'React' is declared but its value is never read.

'height' is declared but its value is never read.

'_savingAllowed' is declared but its value is never read.

'ev' is declared but its value is never read.

'faArrowRotateRight' is declared but its value is never read.

'textFromFileLoaded' is declared but its value is never read.

'key' is declared but its value is never read.

'index' is declared but its value is never read.

'direction' is declared but its value is never read.

'dimension' is declared but its value is never read.

The following actions uses Node.js version which is deprecated and will be forced to run on node20: actions/checkout@v3, actions/setup-node@v3. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/

Provide feedback