Skip to content

Add Alpine CI

Add Alpine CI #636

Triggered via pull request December 23, 2023 23:13
Status Success
Total duration 12m 40s
Artifacts

coq.yml

on: pull_request
Matrix: build
check-all
0s
check-all
Fit to window
Zoom out
Zoom in

Annotations

20 warnings
build (ubuntu-latest, 8.18.0, coq-8.18.0 libcoq-8.18.0-ocaml-dev, ppa:jgross-h/many-coq-versions-...
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]
build (ubuntu-latest, 8.18.0, coq-8.18.0 libcoq-8.18.0-ocaml-dev, ppa:jgross-h/many-coq-versions-...
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]
build (ubuntu-latest, 8.18.0, coq-8.18.0 libcoq-8.18.0-ocaml-dev, ppa:jgross-h/many-coq-versions-...
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]
build (ubuntu-latest, 8.18.0, coq-8.18.0 libcoq-8.18.0-ocaml-dev, ppa:jgross-h/many-coq-versions-...
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]
build (ubuntu-latest, 8.18.0, coq-8.18.0 libcoq-8.18.0-ocaml-dev, ppa:jgross-h/many-coq-versions-...
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]
build (ubuntu-latest, 8.18.0, coq-8.18.0 libcoq-8.18.0-ocaml-dev, ppa:jgross-h/many-coq-versions-...
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]
build (ubuntu-latest, 8.18.0, coq-8.18.0 libcoq-8.18.0-ocaml-dev, ppa:jgross-h/many-coq-versions-...
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]
build (ubuntu-latest, 8.18.0, coq-8.18.0 libcoq-8.18.0-ocaml-dev, ppa:jgross-h/many-coq-versions-...
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]
build (ubuntu-latest, 8.18.0, coq-8.18.0 libcoq-8.18.0-ocaml-dev, ppa:jgross-h/many-coq-versions-...
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]
build (ubuntu-latest, 8.18.0, coq-8.18.0 libcoq-8.18.0-ocaml-dev, ppa:jgross-h/many-coq-versions-...
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]
build (ubuntu-latest, 8.18.0, coq-8.18.0 libcoq-8.18.0-ocaml-dev, ppa:jgross-h/many-coq-versions-...
Could not find a terminator for warning: File "./src/Rewriter/Rewriter/Examples/PerfTesting/LiftLetsMap/_4_Sanity.v", line 3, characters 11-23: Warning: native_compute disabled at configure time; falling back to vm_compute. [native-compiler-disabled,native-compiler,default]
build (ubuntu-latest, 8.18.0, coq-8.18.0 libcoq-8.18.0-ocaml-dev, ppa:jgross-h/many-coq-versions-...
Could not find a terminator for warning: File "./src/Rewriter/Rewriter/Examples/PerfTesting/LiftLetsMap/_4_Sanity.v", line 3, characters 11-23: Warning: native_compute disabled at configure time; falling back to vm_compute. [native-compiler-disabled,native-compiler,default]
build (ubuntu-latest, 8.18.0, coq-8.18.0 libcoq-8.18.0-ocaml-dev, ppa:jgross-h/many-coq-versions-...
Could not find a terminator for warning: File "./src/Rewriter/Rewriter/Examples/PerfTesting/LiftLetsMap/_4_Sanity.v", line 3, characters 11-23: Warning: native_compute disabled at configure time; falling back to vm_compute. [native-compiler-disabled,native-compiler,default]
build (ubuntu-latest, 8.18.0, coq-8.18.0 libcoq-8.18.0-ocaml-dev, ppa:jgross-h/many-coq-versions-...
Could not find a terminator for warning: File "./src/Rewriter/Rewriter/Examples/PerfTesting/LiftLetsMap/_4_Sanity.v", line 3, characters 11-23: Warning: native_compute disabled at configure time; falling back to vm_compute. [native-compiler-disabled,native-compiler,default]
build (ubuntu-latest, 8.18.0, coq-8.18.0 libcoq-8.18.0-ocaml-dev, ppa:jgross-h/many-coq-versions-...
Could not find a terminator for warning: File "./src/Rewriter/Rewriter/Examples/PerfTesting/LiftLetsMap/_4_Sanity.v", line 3, characters 11-23: Warning: native_compute disabled at configure time; falling back to vm_compute. [native-compiler-disabled,native-compiler,default]
build (ubuntu-latest, 8.18.0, coq-8.18.0 libcoq-8.18.0-ocaml-dev, ppa:jgross-h/many-coq-versions-...
Could not find a terminator for warning: File "./src/Rewriter/Rewriter/Examples/PerfTesting/LiftLetsMap/_4_Sanity.v", line 3, characters 11-23: Warning: native_compute disabled at configure time; falling back to vm_compute. [native-compiler-disabled,native-compiler,default]
build (ubuntu-latest, 8.18.0, coq-8.18.0 libcoq-8.18.0-ocaml-dev, ppa:jgross-h/many-coq-versions-...
Could not find a terminator for warning: File "./src/Rewriter/Rewriter/Examples/PerfTesting/LiftLetsMap/_4_Sanity.v", line 3, characters 11-23: Warning: native_compute disabled at configure time; falling back to vm_compute. [native-compiler-disabled,native-compiler,default]
build (ubuntu-latest, 8.18.0, coq-8.18.0 libcoq-8.18.0-ocaml-dev, ppa:jgross-h/many-coq-versions-...
Could not find a terminator for warning: File "./src/Rewriter/Rewriter/Examples/PerfTesting/LiftLetsMap/_4_Sanity.v", line 3, characters 11-23: Warning: native_compute disabled at configure time; falling back to vm_compute. [native-compiler-disabled,native-compiler,default]
build (ubuntu-latest, 8.18.0, coq-8.18.0 libcoq-8.18.0-ocaml-dev, ppa:jgross-h/many-coq-versions-...
Could not find a terminator for warning: File "./src/Rewriter/Rewriter/Examples/PerfTesting/SieveOfEratosthenes/_1_Sanity.v", line 3, characters 11-23: Warning: native_compute disabled at configure time; falling back to vm_compute. [native-compiler-disabled,native-compiler,default]
build (ubuntu-latest, 8.18.0, coq-8.18.0 libcoq-8.18.0-ocaml-dev, ppa:jgross-h/many-coq-versions-...
Could not find a terminator for warning: File "./src/Rewriter/Rewriter/Examples/PerfTesting/SieveOfEratosthenes/_1_Sanity.v", line 3, characters 11-23: Warning: native_compute disabled at configure time; falling back to vm_compute. [native-compiler-disabled,native-compiler,default]