Small proof repair + coq-action update · inQWIRE/ViCAR@3ef69c0

Nothing to rewrite.

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/.

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

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

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

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

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

Provide feedback