Manage Apalache server #2525

Sign in to view logs

Annotations

10 errors and 1 warning

Element implicitly has an 'any' type because type 'typeof globalThis' has no index signature.

'File' refers to a value, but is being used as a type here. Did you mean 'typeof File'?

'File' refers to a value, but is being used as a type here. Did you mean 'typeof File'?

'FormData' refers to a value, but is being used as a type here. Did you mean 'typeof FormData'?

'FormData' refers to a value, but is being used as a type here. Did you mean 'typeof FormData'?

'FormData' refers to a value, but is being used as a type here. Did you mean 'typeof FormData'?

'FormData' refers to a value, but is being used as a type here. Did you mean 'typeof FormData'?

'FormData' refers to a value, but is being used as a type here. Did you mean 'typeof FormData'?

'res.body' is possibly 'null'.

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/

The logs for this run have expired and are no longer available.