mina
mina copied to clipboard
Create new mina image with instrumentation for buildkite
As a part of #12718 there is a need for CI to build mina image as well as mina archieve image with instrumentation enabled. This requires change in dhall files introducing new job. Basically this job will be very similar to current build process. However, few changes are required:
- [ ] modify
build-artifact.sh
script and allow to pass flags to dune build command, - [ ] create new job which will be spawn from Monorepo.dhall and build new image with:
-
--instrument-with bisect_ppx
argument, -BISECT_SIGTEM=y
environment variable