Port VST 2.x to CompCert master #1084
Annotations
13 warnings
|
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/
|
|
The following actions uses Node.js version which is deprecated and will be forced to run on node20: actions/checkout@v2, actions/upload-artifact@v2. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
|
|
msl/sepalg.v#L104
Automatically putting Flat_alg in Prop even though it was declared
|
|
msl/sepalg_generators.v#L49
Automatically putting Void in Prop even though it was declared with
|
|
msl/functors.v#L12
Automatically putting functorFacts in Prop even though it was
|
|
msl/functors.v#L30
Automatically putting functorFacts in Prop even though it was
|
|
msl/functors.v#L48
Automatically putting functorFacts in Prop even though it was
|
|
msl/functors.v#L66
Automatically putting functorFacts in Prop even though it was
|
|
msl/functors.v#L87
Automatically putting functorFacts in Prop even though it was
|
|
compcert/lib/Coqlib.v#L861
Notation rev_length is deprecated since 8.20.
|
|
compcert/lib/Coqlib.v#L861
Notation rev_length is deprecated since 8.20.
|
|
compcert/lib/Coqlib.v#L861
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.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/
|
This job succeeded
Loading