Skip to content

disable printing effects to pass ci #2

disable printing effects to pass ci

disable printing effects to pass ci #2

Triggered via push August 20, 2024 15:11
Status Success
Total duration 1m 46s
Artifacts

main.yml

on: push
Matrix: build-matrix
Fit to window
Zoom out
Zoom in

Annotations

13 warnings
build-matrix (coq-verified-extraction.opam, yforster/coq:8.19.1--clang-11--compcert-3.13.1--extli...
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-matrix (coq-verified-extraction.opam, yforster/coq:8.19.1--clang-11--compcert-3.13.1--extli...
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/checkout@v2. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
build-matrix (coq-verified-extraction.opam, yforster/coq:8.19.1--clang-11--compcert-3.13.1--extli...: theories/Trace.v#L11
This notation contains Ltac expressions: it will not be used for
build-matrix (coq-verified-extraction.opam, yforster/coq:8.19.1--clang-11--compcert-3.13.1--extli...: theories/test.v#L767
The extraction is currently set to bypass opacity, the following opaque constant bodies have been accessed
build-matrix (coq-verified-extraction.opam, yforster/coq:8.19.1--clang-11--compcert-3.13.1--extli...: theories/test.v#L767
Setting extraction output directory by default to "/github/workspace". Use "Set Extraction Output Directory" to set a different directory for extracted files to appear in.
build-matrix (coq-verified-extraction.opam, yforster/coq:8.19.1--clang-11--compcert-3.13.1--extli...: theories/test.v#L767
The identifier lt__sig_pack contains __ which is reserved for the extraction
build-matrix (coq-verified-extraction.opam, yforster/coq:8.19.1--clang-11--compcert-3.13.1--extli...: theories/test.v#L767
The identifier lt__Signature contains __ which is reserved for the extraction
build-matrix (coq-verified-extraction.opam, yforster/coq:8.19.1--clang-11--compcert-3.13.1--extli...: theories/test.v#L767
The identifier lt__sig_pack contains __ which is reserved for the extraction
build-matrix (coq-verified-extraction.opam, yforster/coq:8.19.1--clang-11--compcert-3.13.1--extli...: theories/test.v#L767
The identifier lt__Signature contains __ which is reserved for the extraction
build-matrix (coq-verified-extraction.opam, yforster/coq:8.19.1--clang-11--compcert-3.13.1--extli...: theories/test.v#L767
The identifier t__rect contains __ which is reserved for the extraction
build-matrix (coq-verified-extraction.opam, yforster/coq:8.19.1--clang-11--compcert-3.13.1--extli...: theories/test.v#L767
The identifier t__rec contains __ which is reserved for the extraction
build-matrix (coq-verified-extraction.opam, yforster/coq:8.19.1--clang-11--compcert-3.13.1--extli...: theories/test.v#L767
The identifier lt__sig_pack contains __ which is reserved for the extraction