Fixed some coq-8.18 deprecation warnings; speed up forward_call by apply change_compspecs parsimoniously #913
Triggered via pull request
October 9, 2023 18:19
andrew-appel
Status
Cancelled
Total duration
13m 51s
Artifacts
–
Annotations
5 errors and 15 warnings
|
build (8.18, 64, vst)
The operation was canceled.
|
|
build (8.16, 64, vst)
The operation was canceled.
|
|
build (8.17, 64, vst)
The operation was canceled.
|
|
build (8.18, 32, vst)
The operation was canceled.
|
|
build (dev, 64, vst)
The operation was canceled.
|
|
build (8.18, 64, vst)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
|
|
build (8.16, 64, vst)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
|
|
build (8.17, 64, vst)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
|
|
build (8.18, 32, vst)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
|
|
build (dev, 64, vst)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
|
|
build (dev, 64, vst):
compcert/lib/Coqlib.v#L1055
Notation app_nil_end is deprecated since 8.18.
|
|
build (dev, 64, vst):
compcert/lib/Coqlib.v#L1055
Notation app_nil_end is deprecated since 8.18.
|
|
build (dev, 64, vst):
compcert/lib/Coqlib.v#L1055
Notation app_nil_end is deprecated since 8.18.
|
|
build (dev, 64, vst):
compcert/lib/IEEE754_extra.v#L434
Notation IZR_neq is deprecated since 8.19.
|
|
build (dev, 64, vst):
compcert/lib/IEEE754_extra.v#L434
Notation IZR_neq is deprecated since 8.19.
|
|
build (dev, 64, vst):
compcert/lib/IEEE754_extra.v#L1039
Notation Ropp_inv_permute is deprecated since 8.16. Use Rinv_opp.
|
|
build (dev, 64, vst):
compcert/lib/IEEE754_extra.v#L1039
Notation Ropp_inv_permute is deprecated since 8.16. Use Rinv_opp.
|
|
build (dev, 64, vst):
compcert/lib/IEEE754_extra.v#L1039
Notation Ropp_inv_permute is deprecated since 8.16. Use Rinv_opp.
|
|
build (dev, 64, vst):
compcert/lib/IEEE754_extra.v#L1039
Notation Ropp_inv_permute is deprecated since 8.16. Use Rinv_opp.
|
|
build (dev, 64, vst):
compcert/lib/Maps.v#L1132
Notation app_ass is deprecated since 8.18. Use app_assoc instead.
|