Port VST 2.x to CompCert master #1086
Annotations
13 warnings
|
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/download-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/download-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/
|
|
Run coq-community/docker-coq-action@v1
Notations "_ = _ :> _" defined at level 70 with arguments constr
|
|
Run coq-community/docker-coq-action@v1
Notations "_ = _ :> _" defined at level 70 with arguments constr
|
|
Run coq-community/docker-coq-action@v1
Notations "_ = _ :> _" defined at level 70 with arguments constr
|
|
Run coq-community/docker-coq-action@v1
Notations "( _ , _ , .. , _ )" defined at level 0 with arguments
|
|
Run coq-community/docker-coq-action@v1
Notations "_ : _" defined at level 100 with arguments constr
|
|
Run coq-community/docker-coq-action@v1
Notations "_ , _" defined at level 26 with arguments constr
|
|
Run coq-community/docker-coq-action@v1
Notation map_length is deprecated since 8.20.
|
|
Run coq-community/docker-coq-action@v1
Notation map_length is deprecated since 8.20.
|
|
Run coq-community/docker-coq-action@v1
Notation map_length is deprecated since 8.20.
|
|
Run coq-community/docker-coq-action@v1
Notation map_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/
|
Loading