[CI] Add Arch Linux test #7
JasonGrosscoq-archlinux.yml
on: pull_request
Annotations
9 errors and 10 warnings
|
archlinux
Makefile.coq:838: src/Coqprime/Tactic/Tactic.v
|
|
archlinux
Makefile.coq.noex:838: /__w/fiat-crypto/fiat-crypto/rupicola/bedrock2/bedrock2/src/bedrock2/AbsintWordToZ.v
|
|
archlinux
Makefile.coq.noex:409: all
|
|
archlinux
Makefile:68: noex
|
|
archlinux
Makefile:87: bedrock2_noex
|
|
archlinux
Makefile:91: special/BytedumpTest.out
|
|
archlinux
Makefile:90: bedrock2_ex
|
|
archlinux
Process completed with exit code 2.
|
|
archlinux-check-all
Process completed with exit code 1.
|
|
archlinux
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]
|
|
archlinux
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]
|
|
archlinux
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]
|
|
archlinux
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]
|
|
archlinux
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]
|
|
archlinux
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]
|
|
archlinux
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]
|
|
archlinux
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]
|
|
archlinux
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]
|
|
archlinux
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]
|
Artifacts
Produced during runtime
| Name | Size | |
|---|---|---|
|
ExtractionHaskell-archlinux
Expired
|
6.35 KB |
|
|
ExtractionJsOfOCaml-archlinux
Expired
|
755 Bytes |
|
|
ExtractionOCaml-archlinux
Expired
|
5.9 KB |
|
|
generated-files-archlinux
Expired
|
4.26 MB |
|