mina
mina copied to clipboard
add build in CI for instrumented mina
Add another build for mina with instrumentation flags. Currently enabled only on PR
!ci-build-me
!ci-build-me
!ci-build-me
!ci-build-me
!ci-build-me
!ci-nightly-me
!ci-build-me
!ci-build-me
!ci-build-me
!ci-buile-me
!ci-build-me