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 groupby to speed up user constraints #205

Merged
merged 1 commit into from
Mar 1, 2024

Conversation

siddharth-krishna
Copy link
Collaborator

(I wanted to make a quick PR to test ReadTheDocs integration.)

This PR implements the suggestion from #185 on the code introduced by #179 (https://github.com/etsap-TIMES/xl2times/pull/179/files/4ea76267c9558b3a08d09ec282b7a5fcaa458f8c#r1489079776) and gets 3% runtime improvement on my laptop.

@siddharth-krishna
Copy link
Collaborator Author

Sadly, RTD is still not happy:

Could not send GitHub build status report for "xl2times". Make sure you have the correct GitHub repository permissions and your GitHub account is connected to Read the Docs.

I had tried to manually add the webhooks, but RTD is still not able to report build status back to the GitHub PR as in this example:
image

Perhaps it will still build a new docs site when this PR is merged into main? Let's see 🤞

@siddharth-krishna
Copy link
Collaborator Author

The GitHub-RTD link is working in one direction, so even though the PR doesn't show it, RTD has built docs for this PR:
https://xl2times--205.org.readthedocs.build/en/205/

@olejandro
Copy link
Member

Ok, so we merge this and keep #185 open as a reminder to make improvements in other parts of the code?

@siddharth-krishna siddharth-krishna merged commit 229eb46 into main Mar 1, 2024
1 check passed
@siddharth-krishna siddharth-krishna deleted the sidk/groupby-uc-n branch March 1, 2024 13:42
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.

2 participants