Bump ammaraskar/gcc-problem-matcher from 0.2.0 to 0.3.0 #15
Annotations
5 errors and 21 warnings
|
make deps
Makefile.coq:838: src/Coqprime/Tactic/Tactic.v
|
|
make deps
Makefile.coq.noex:838: /home/runner/work/fiat-crypto/fiat-crypto/rupicola/bedrock2/bedrock2/src/bedrock2/AbsintWordToZ.v
|
|
make deps
Makefile.coq.noex:409: all
|
|
make deps
Makefile:68: noex
|
|
make deps
Makefile:87: bedrock2_noex
|
|
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/upload-artifact@v3. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
all-except-generated-and-js-of-ocaml
Could not find a terminator for warning:
File "./src/Util/NatUtil.v", line 14, 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]
|
|
all-except-generated-and-js-of-ocaml
Could not find a terminator for warning:
File "./src/Util/NatUtil.v", line 16, characters 25-32:
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]
|
|
all-except-generated-and-js-of-ocaml
Could not find a terminator for warning:
File "./src/Util/NatUtil.v", line 34, 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]
|
|
all-except-generated-and-js-of-ocaml
Could not find a terminator for warning:
File "./src/Util/NatUtil.v", line 34, 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]
|
|
all-except-generated-and-js-of-ocaml
Could not find a terminator for warning:
File "./src/Util/NatUtil.v", line 36, 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]
|
|
all-except-generated-and-js-of-ocaml
Could not find a terminator for warning:
File "./src/Util/NatUtil.v", line 36, 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]
|
|
all-except-generated-and-js-of-ocaml
Could not find a terminator for warning:
File "./src/Util/NatUtil.v", line 50, 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]
|
|
all-except-generated-and-js-of-ocaml
Could not find a terminator for warning:
File "./src/Util/NatUtil.v", line 49, 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]
|
|
all-except-generated-and-js-of-ocaml
Could not find a terminator for warning:
File "./src/Util/NatUtil.v", line 156, 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]
|
|
all-except-generated-and-js-of-ocaml
Could not find a terminator for warning:
File "./src/Util/NatUtil.v", line 156, 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]
|
|
make deps
Could not find a terminator for warning:
File "./src/Rewriter/Util/NatUtil.v", line 53, 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]
|
|
make deps
Could not find a terminator for warning:
File "./src/Rewriter/Util/NatUtil.v", line 192, 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]
|
|
make deps
Could not find a terminator for warning:
File "./src/Rewriter/Util/NatUtil.v", line 192, 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]
|
|
make deps
Could not find a terminator for warning:
File "./src/Rewriter/Util/NatUtil.v", line 221, characters 12-23:
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]
|
|
make deps
Could not find a terminator for warning:
File "./src/Rewriter/Util/NatUtil.v", line 221, characters 12-23:
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]
|
|
make deps
Could not find a terminator for warning:
File "./src/Rewriter/Util/NatUtil.v", line 221, characters 12-23:
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]
|
|
make deps
Could not find a terminator for warning:
File "./src/Rewriter/Util/NatUtil.v", line 287, characters 28-36:
Warning: Notation mod_same is deprecated since 8.17.
Use Div0.mod_same instead.
[deprecated-syntactic-definition-since-8.17,deprecated-since-8.17,deprecated-syntactic-definition,deprecated,default]
|
|
make deps
Could not find a terminator for warning:
File "./src/Rewriter/Util/NatUtil.v", line 287, characters 28-36:
Warning: Notation mod_same is deprecated since 8.17.
Use Div0.mod_same instead.
[deprecated-syntactic-definition-since-8.17,deprecated-since-8.17,deprecated-syntactic-definition,deprecated,default]
|
|
make deps
Could not find a terminator for warning:
File "./src/Rewriter/Util/NatUtil.v", line 305, characters 10-17:
Warning: Notation add_mod is deprecated since 8.17. Use Div0.add_mod instead.
[deprecated-syntactic-definition-since-8.17,deprecated-since-8.17,deprecated-syntactic-definition,deprecated,default]
|
|
make deps
Could not find a terminator for warning:
File "./src/Rewriter/Util/NatUtil.v", line 305, characters 10-17:
Warning: Notation add_mod is deprecated since 8.17. Use Div0.add_mod instead.
[deprecated-syntactic-definition-since-8.17,deprecated-since-8.17,deprecated-syntactic-definition,deprecated,default]
|
The logs for this run have expired and are no longer available.
Loading