Skip to content

(TEST ONLY) Count morphs#2339

Draft
riaqn wants to merge 2 commits intooxcaml:mainfrom
riaqn:count-morphs
Draft

(TEST ONLY) Count morphs#2339
riaqn wants to merge 2 commits intooxcaml:mainfrom
riaqn:count-morphs

Conversation

@riaqn
Copy link
Copy Markdown
Contributor

@riaqn riaqn commented Mar 7, 2024

This PR should be regularly rebased on top of the main branch, or any mode-related PR (before the said PR can be merged).

This PR is regularly run against our internal code base, and will raise if a morphism chain is too long. If that happens, we will

  • Either find a missing a case in maybe_compose in the said main branch or the said PR that's causing it to not reduce sufficiently
  • Or find that this is an inherently long morphism chain, and increase the threshold number til it doesn't raise.

@riaqn riaqn force-pushed the count-morphs branch 5 times, most recently from c7cbfce to 286dba3 Compare March 11, 2024 18:55
@riaqn riaqn force-pushed the count-morphs branch 3 times, most recently from 6ca8e0b to 213cf28 Compare March 18, 2024 18:32
@riaqn riaqn force-pushed the count-morphs branch 2 times, most recently from e5a80ca to 6f84657 Compare April 18, 2024 18:04
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants