Anomaly "conversion was given unreduced term (FLambda)."

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

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

Custom entry dfrac has been overridden.

Custom entry dfrac has been overridden.

Custom entry dfrac has been overridden.

Custom entry dfrac has been overridden.

Custom entry dfrac has been overridden.

Notation app_ass is deprecated since 8.18. Use app_assoc instead.

Notation app_ass is deprecated since 8.18. Use app_assoc instead.

Notation app_ass is deprecated since 8.18. Use app_assoc instead.

Custom entry dfrac has been overridden.