Skip to content
Test compilation

Add #pragma once to all generated C files + other codegen and glue fixes #290

Sign in to view logs

Add #pragma once to all generated C files + other codegen and glue fixes

Add #pragma once to all generated C files + other codegen and glue fixes #290

Run time

Learn about OS pricing on GitHub Actions
Job Run time
build-matrix (coq-certicoq.opam, yforster/coq:8.17.0--clang-11--compcert-3.12--extlib-0.11.8--equ...
11m 10s
11m 10s