Docker CI

Merge pull request #125 from ppedrot/template-linear-levels #109

Sign in to view logs

Annotations

7 warnings

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

Automatically putting I1 in Prop even though it was declared with

Automatically putting I2 in Prop even though it was declared with

Automatically putting I3 in Prop even though it was declared with

Automatically putting J in Prop even though it was declared with

Automatically putting K in Prop even though it was declared with

Not a truly recursive fixpoint.

This job succeeded