8000 Port to Hierarchy Builder by proux01 · Pull Request #39 · math-comp/mczify · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content

Port to Hierarchy Builder #39

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.

Sign up for GitHub

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

Jump to bottom
Merged
merged 2 commits into from
May 23, 2023
Merged

Port to Hierarchy Builder #39

merged 2 commits into from
May 23, 2023

Conversation

proux01
Copy link
Contributor
@proux01 proux01 commented May 6, 2022

No description provided.

@proux01 proux01 mentioned this pull request May 6, 2022
Merged
@proux01 proux01 force-pushed the hierarchy-builder branch 2 times, most recently from 1f9e277 to 18ab1d3 Compare August 18, 2022 07:27
@proux01 proux01 force-pushed the hierarchy-builder branch from 18ab1d3 to 65d95e1 Compare March 8, 2023 17:10
@proux01 proux01 force-pushed the hierarchy-builder branch 3 times, most recently from eada13c to 0204e07 Compare May 15, 2023 08:54
@proux01 proux01 marked this pull request as ready for review May 15, 2023 09:26
@proux01
Copy link
Contributor Author
proux01 commented May 15, 2023 •
edited
Loading

@pi8027 CI is as green as it can be (no Docker images for mathcomp-dev). I think this can be merged and then a release can be done.

@pi8027 pi8027 force-pushed the hierarchy-builder branch from 2b9cb91 to 14224b1 Compare May 23, 2023 12:56
@pi8027 pi8027 merged commit 40637d5 into math-comp:master May 23, 2023
@proux01 proux01 deleted the hierarchy-builder branch May 23, 2023 16:11
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@pi8027 pi8027 pi8027 approved these changes

Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
2 participants
@proux01 @pi8027
0