Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

(TEST ONLY) Count morphs #2339

Draft
wants to merge 2 commits into
base: main
Choose a base branch
from
Draft

Conversation

riaqn
Copy link
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