Manage Apalache server #2523

Annotations

10 errors and 1 warning

Cannot find module 'node-fetch' or its corresponding type declarations.

Cannot find module 'gunzip-maybe' or its corresponding type declarations.

Cannot find module 'tar-fs' or its corresponding type declarations.

Cannot find module '@octokit/request' or its corresponding type declarations.

Parameter 'res' implicitly has an 'any' type.

Parameter 'error' implicitly has an 'any' type.

Parameter 'resp' implicitly has an 'any' type.

Parameter 'error' implicitly has an 'any' type.

Process completed with exit code 2.

The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2, actions/setup-node@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/