Skip to content
Test compilation

Implement a more clever copy function preserving sharing. Add No_scan… #364

Sign in to view logs

Implement a more clever copy function preserving sharing. Add No_scan…

Implement a more clever copy function preserving sharing. Add No_scan… #364

Triggered via pull request March 15, 2024 16:32
@mattam82mattam82
opened #94
copy-value-sharing
Status Failure
Total duration 40m 28s
Artifacts –

build.yml

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

Annotations

12 warnings
build-matrix (coq-certicoq.opam, yforster/coq:8.17.0--clang-11--compcert-3.12--extlib-0.11.8--equ...
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v3. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
build-matrix (coq-certicoq.opam, yforster/coq:8.17.0--clang-11--compcert-3.12--extlib-0.11.8--equ...
Notation "Field( _ , _ )" was already used.
build-matrix (coq-certicoq.opam, yforster/coq:8.17.0--clang-11--compcert-3.12--extlib-0.11.8--equ...
There is no flag or option with this name: "Arguments".
build-matrix (coq-certicoq.opam, yforster/coq:8.17.0--clang-11--compcert-3.12--extlib-0.11.8--equ...
Interpreting this declaration as if a global declaration prefixed by
build-matrix (coq-certicoq.opam, yforster/coq:8.17.0--clang-11--compcert-3.12--extlib-0.11.8--equ...
Interpreting this declaration as if a global declaration prefixed by
build-matrix (coq-certicoq.opam, yforster/coq:8.17.0--clang-11--compcert-3.12--extlib-0.11.8--equ...
Interpreting this declaration as if a global declaration prefixed by
build-matrix (coq-certicoq.opam, yforster/coq:8.17.0--clang-11--compcert-3.12--extlib-0.11.8--equ...
This command is just asserting the names of arguments of
build-matrix (coq-certicoq.opam, yforster/coq:8.17.0--clang-11--compcert-3.12--extlib-0.11.8--equ...
This command is just asserting the names of arguments of prop_ext.
build-matrix (coq-certicoq.opam, yforster/coq:8.17.0--clang-11--compcert-3.12--extlib-0.11.8--equ...
This command is just asserting the names of arguments of proof_irr.
build-matrix (coq-certicoq.opam, yforster/coq:8.17.0--clang-11--compcert-3.12--extlib-0.11.8--equ...
Use of “Require” inside a module is fragile. It is not recommended
build-matrix (coq-certicoq.opam, yforster/coq:8.17.0--clang-11--compcert-3.12--extlib-0.11.8--equ...
Cannot define graph(s) for main
build-matrix (coq-certicoq.opam, yforster/coq:8.17.0--clang-11--compcert-3.12--extlib-0.11.8--equ...
Failed to remove 'http.https://github.com/.extraheader' from the git config