Unable to apply lemma of type

Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v3. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.

Interpreting this declaration as if a global declaration prefixed by

Interpreting this declaration as if a global declaration prefixed by

Ignoring implicit binder declaration in unexpected position.

Ignoring implicit binder declaration in unexpected position.

Ignoring implicit binder declaration in unexpected position.

Ignoring implicit binder declaration in unexpected position.

Ignoring implicit binder declaration in unexpected position.

Ignoring implicit binder declaration in unexpected position.

Use of “Require” inside a section is fragile. It is not recommended