Skip to content
Test compilation

Implement and verify the naive translation of lazy/force to thunks #381

Sign in to view logs

Implement and verify the naive translation of lazy/force to thunks

Implement and verify the naive translation of lazy/force to thunks #381

Triggered via pull request June 10, 2024 12:53
@mattam82mattam82
synchronize #98
naive-cofix-translation
Status Cancelled
Total duration 15m 25s
Artifacts –

build.yml

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

Annotations

2 errors and 1 warning
build-matrix (coq-certicoq.opam, yforster/coq:8.19.1--clang-11--compcert-3.13.1--extlib-0.12.1--e...
The run was canceled by @mattam82.
build-matrix (coq-certicoq.opam, yforster/coq:8.19.1--clang-11--compcert-3.13.1--extlib-0.12.1--e...
The operation was canceled.
build-matrix (coq-certicoq.opam, yforster/coq:8.19.1--clang-11--compcert-3.13.1--extlib-0.12.1--e...
Failed to remove 'http.https://github.com/.extraheader' from the git config