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

Use IS_CONSTRUCTOR instead of CONSTRUCTORS #452

Merged
merged 2 commits into from
Feb 7, 2018

Conversation

olexandr-konovalov
Copy link
Contributor

CONSTRUCTORS has been removed from the GAP master branch: see gap-system/gap@b597f5c

@james-d-mitchell
Copy link
Collaborator

Thanks @alex-konovalov this appears to be failing because of the use of IS_CONSTRUCTOR in Digraphs, and because of Issue #450.

@olexandr-konovalov olexandr-konovalov self-assigned this Jan 29, 2018
@james-d-mitchell
Copy link
Collaborator

@alex-konovalov any chance you could rebase this against stable-3.0? Then I can merge it, and release 3.0.13.

CONSTRUCTORS has been removed from the GAP master branch.
@olexandr-konovalov olexandr-konovalov changed the base branch from master to stable-3.0 February 6, 2018 09:54
@olexandr-konovalov
Copy link
Contributor Author

@james-d-mitchell now submitted against stable-3.0

@james-d-mitchell
Copy link
Collaborator

@alex-konovalov one last thing (hopefully), can you bump the required version of Digraphs to 0.12.0, then the tests should pass, except maybe because of Issues #450 and/or #444.

@olexandr-konovalov
Copy link
Contributor Author

Done. Let's see if tests will pass, then I may squash it in a single commit, if you prefer.

@james-d-mitchell james-d-mitchell merged commit 1564f2a into stable-3.0 Feb 7, 2018
@olexandr-konovalov olexandr-konovalov deleted the alex-konovalov-patch-1 branch February 7, 2018 15:28
flsmith pushed a commit to flsmith/Semigroups that referenced this pull request Sep 20, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants