Skip to content

Comments

CI: Add profile to matrix#138

Draft
tov wants to merge 1 commit intojanestreet:masterfrom
tov:matrix-profile
Draft

CI: Add profile to matrix#138
tov wants to merge 1 commit intojanestreet:masterfrom
tov:matrix-profile

Conversation

@tov
Copy link
Contributor

@tov tov commented Jul 27, 2022

This is so we can use --profile=release on older OCaml versions that are producing warnings.

This is so we can use --profile=release on older
OCaml versions that are producing warnings.

Signed-off-by: Jesse Tov <jtov@janestreet.com>
@tov tov mentioned this pull request Jul 27, 2022
@github-iron github-iron added the forwarded-to-js-devs This report has been forwarded to Jane Street's internal review system. label Aug 1, 2022
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

forwarded-to-js-devs This report has been forwarded to Jane Street's internal review system.

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants