Changed definition of valid_pointer' wrt locations with PURE resource… #1048
Annotations
13 warnings
|
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v2, actions/upload-artifact@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2, actions/upload-artifact@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
|
|
Run coq-community/docker-coq-action@v1:
compcert/lib/Coqlib.v#L855
Notation rev_length is deprecated since 8.20.
|
|
Run coq-community/docker-coq-action@v1:
compcert/lib/Coqlib.v#L855
Notation rev_length is deprecated since 8.20.
|
|
Run coq-community/docker-coq-action@v1:
compcert/lib/Coqlib.v#L855
Notation rev_length is deprecated since 8.20.
|
|
Run coq-community/docker-coq-action@v1:
compcert/lib/Coqlib.v#L855
Notation rev_length is deprecated since 8.20.
|
|
Run coq-community/docker-coq-action@v1:
compcert/lib/Coqlib.v#L855
Notation rev_length is deprecated since 8.20.
|
|
Run coq-community/docker-coq-action@v1:
compcert/lib/Coqlib.v#L1055
Notation app_nil_end is deprecated since 8.18.
|
|
Run coq-community/docker-coq-action@v1:
compcert/lib/Coqlib.v#L1055
Notation app_nil_end is deprecated since 8.18.
|
|
Run coq-community/docker-coq-action@v1:
compcert/lib/Coqlib.v#L1055
Notation app_nil_end is deprecated since 8.18.
|
|
Run coq-community/docker-coq-action@v1:
zlist/sublist.v#L340
Notation rev_length is deprecated since 8.20.
|
|
Run coq-community/docker-coq-action@v1:
zlist/sublist.v#L340
Notation rev_length is deprecated since 8.20.
|
|
The following artifacts were uploaded using a version of actions/upload-artifact that is scheduled for deprecation: "VST build artifacts 8.17 64", "VST build artifacts 8.18 64", "VST build artifacts 8.19 32", "VST build artifacts 8.19 64", "VST build artifacts dev 64".
Please update your workflow to use v4 of the artifact actions.
Learn more: https://github.blog/changelog/2024-04-16-deprecation-notice-v3-of-the-artifact-actions/
|
The logs for this run have expired and are no longer available.
Loading