Adding support for untyped conversion-checking · CoqHott/logrel-coq@cdcd235

ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636

Docker-Coq-Action: theories/Validity/Introductions/Application.v#L41

Reference reflValidTm is deprecated. Unneeded

Docker-Coq-Action: theories/Validity/Introductions/Application.v#L41

Reference reflValidTm is deprecated. Unneeded

Docker-Coq-Action: theories/Validity/Introductions/Application.v#L41

Reference reflValidTm is deprecated. Unneeded

Docker-Coq-Action: theories/Validity/Introductions/Nat.v#L108

Reference reflValidTm is deprecated. Unneeded

Docker-Coq-Action: theories/Validity/Introductions/Nat.v#L108

Reference reflValidTm is deprecated. Unneeded

Docker-Coq-Action: theories/Fundamental.v#L348

Reference reflValidTm is deprecated. Unneeded

Docker-Coq-Action: theories/Algorithmic/AlgorithmicTypingProperties.v#L80

Reference algo_conv_complete is deprecated.

Docker-Coq-Action: theories/Algorithmic/AlgorithmicTypingProperties.v#L80

Reference algo_conv_complete is deprecated.

Docker-Coq-Action: theories/Algorithmic/AlgorithmicTypingProperties.v#L80

Reference algo_conv_complete is deprecated.

Docker-Coq-Action: theories/Algorithmic/AlgorithmicTypingProperties.v#L107

Reference algo_conv_complete is deprecated.

Provide feedback