Port VST 2.x to CompCert master #1085
Annotations
9 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/
|
|
compcert/lib/IEEE754_extra.v#L434
Notation IZR_neq is deprecated since 8.19.
|
|
compcert/lib/IEEE754_extra.v#L434
Notation IZR_neq is deprecated since 8.19.
|
|
floyd/canon.v#L14
The '%' scope delimiter in 'Arguments' commands is deprecated, use
|
|
floyd/canon.v#L505
The '%' scope delimiter in 'Arguments' commands is deprecated, use
|
|
floyd/proofauto.v#L61
The '%' scope delimiter in 'Arguments' commands is deprecated, use
|
|
concurrency/semax_conc_pred.v#L20
Notation "_ oo _" was already used.
|
|
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