compilerexplorer/compcert-builder : latest
Latest release: about 3 years ago - 1,204 downloads - 13 dependencies
JSONDependencies
- actions/checkout v2
- actions/checkout v3
- benchmark-action/github-action-benchmark v1
- cachix/install-nix-action v18
- cachix/install-nix-action v22
- eps1lon/actions-label-merge-conflict b8bf8341285ec9a4567d4318ba474fee998a6919
- ocaml/setup-ocaml v2
- whoan/docker-build-with-cache-action v6