Skip to content
Test compilation

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

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 #380

Run time

Learn about OS pricing on GitHub Actions
Job Run time
build-matrix (coq-certicoq.opam, yforster/coq:8.19.1--clang-11--compcert-3.13.1--extlib-0.12.1--e...
46m 29s
46m 29s