Merge pull request #125 from ppedrot/template-linear-levels · coq-community/paramcoq@66fd506

Triggered via push June 24, 2024 11:52

proux01

master

Status Success

Total duration 2m 11s

Artifacts –

docker-action.yml

on: push

Matrix: build

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.