Skip to content

Adapt to coq/coq#17836 (sort poly) (update rupicola) #710

Adapt to coq/coq#17836 (sort poly) (update rupicola)

Adapt to coq/coq#17836 (sort poly) (update rupicola) #710

Triggered via pull request September 18, 2023 11:15
Status Failure
Total duration 7m 32s
Artifacts 3
This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

docker-coq.yml

on: pull_request
Matrix: docker-build
test-amd64
0s
test-amd64
Fit to window
Zoom out
Zoom in

Annotations

8 errors and 10 warnings
master: rupicola/bedrock2/deps/coqutil/src/coqutil/Tactics/Records.v#L68
Constructor Constr.Unsafe.Proj expects 2 arguments, but is applied to 3 arguments
master
Makefile.coq.test:847: /github/workspace/rupicola/bedrock2/deps/coqutil/src/coqutil/Tactics/Records.v
master
Makefile.coq.test:417: all
master
Makefile:26: test
master
Makefile.coq:847: src/Coqprime/Tactic/Tactic.v
master
Makefile.coq.test:847: /github/workspace/rupicola/bedrock2/deps/coqutil/src/coqutil/Tactics/Records.v
master
Makefile.coq.test:417: all
master
Makefile:26: test
master
Could not find a terminator for warning: File "./src/Rewriter/Util/NatUtil.v", line 53, characters 34-48: Warning: Notation plus_le_compat is deprecated since 8.16. The Arith.Plus file is obsolete. Use Nat.add_le_mono instead. [deprecated-syntactic-definition-since-8.16,deprecated-since-8.16,deprecated-syntactic-definition,deprecated,default]
master
Could not find a terminator for warning: File "./src/Rewriter/Util/NatUtil.v", line 54, characters 35-42: Warning: Notation mod_mod is deprecated since 8.17. Use Div0.mod_mod instead. [deprecated-syntactic-definition-since-8.17,deprecated-since-8.17,deprecated-syntactic-definition,deprecated,default]
master
Could not find a terminator for warning: File "./src/Rewriter/Util/NatUtil.v", line 71, characters 13-32: Warning: Notation Min.min_case_strong is deprecated since 8.16. The Arith.Min file is obsolete. Use Nat.min_case_strong instead. [deprecated-syntactic-definition-since-8.16,deprecated-since-8.16,deprecated-syntactic-definition,deprecated,default]
master
Could not find a terminator for warning: File "./src/Rewriter/Util/NatUtil.v", line 71, characters 13-32: Warning: Notation Min.min_case_strong is deprecated since 8.16. The Arith.Min file is obsolete. Use Nat.min_case_strong instead. [deprecated-syntactic-definition-since-8.16,deprecated-since-8.16,deprecated-syntactic-definition,deprecated,default]
master
Could not find a terminator for warning: File "./src/Rewriter/Util/NatUtil.v", line 73, characters 13-32: Warning: Notation Max.max_case_strong is deprecated since 8.16. The Arith.Max file is obsolete. Use Nat.max_case_strong instead. [deprecated-syntactic-definition-since-8.16,deprecated-since-8.16,deprecated-syntactic-definition,deprecated,default]
master
Could not find a terminator for warning: File "./src/Rewriter/Util/NatUtil.v", line 73, characters 13-32: Warning: Notation Max.max_case_strong is deprecated since 8.16. The Arith.Max file is obsolete. Use Nat.max_case_strong instead. [deprecated-syntactic-definition-since-8.16,deprecated-since-8.16,deprecated-syntactic-definition,deprecated,default]
master
Could not find a terminator for warning: File "./src/Rewriter/Util/NatUtil.v", line 87, characters 44-63: Warning: Notation Max.max_case_strong is deprecated since 8.16. The Arith.Max file is obsolete. Use Nat.max_case_strong instead. [deprecated-syntactic-definition-since-8.16,deprecated-since-8.16,deprecated-syntactic-definition,deprecated,default]
master
Could not find a terminator for warning: File "./src/Rewriter/Util/NatUtil.v", line 86, characters 44-63: Warning: Notation Min.min_case_strong is deprecated since 8.16. The Arith.Min file is obsolete. Use Nat.min_case_strong instead. [deprecated-syntactic-definition-since-8.16,deprecated-since-8.16,deprecated-syntactic-definition,deprecated,default]
master
Could not find a terminator for warning: File "./src/Rewriter/Util/NatUtil.v", line 193, characters 43-50: Warning: Notation mod_add is deprecated since 8.17. Use Div0.mod_add instead. [deprecated-syntactic-definition-since-8.17,deprecated-since-8.17,deprecated-syntactic-definition,deprecated,default]
master
Could not find a terminator for warning: File "./src/Rewriter/Util/NatUtil.v", line 193, characters 43-50: Warning: Notation mod_add is deprecated since 8.17. Use Div0.mod_add instead. [deprecated-syntactic-definition-since-8.17,deprecated-since-8.17,deprecated-syntactic-definition,deprecated,default]

Artifacts

Produced during runtime
Name Size
ExtractionHaskell-master Expired
4.69 KB
ExtractionOCaml-master Expired
3.12 KB
generated-files-master Expired
4.72 MB