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

ci: allow install extras for check #184

Merged
merged 5 commits into from
Oct 15, 2023
Merged

ci: allow install extras for check #184

merged 5 commits into from
Oct 15, 2023

Conversation

Borda
Copy link
Member

@Borda Borda commented Oct 14, 2023

Before submitting
  • Was this discussed/agreed via a Github issue? (no need for typos and docs improvements)
  • Did you read the contributor guideline, Pull Request section?
  • Did you make sure to update the docs?
  • Did all existing and newly added tests pass locally?

What does this PR do?

Allow deduplicate dependencies for lightning extension, which has to have lightning installed but can't have it listed in base requirements for circular dependency or option to select between lightning and PL

https://github.com/Lightning-AI/lightning-Habana/blob/4e374c270dbf6c6be383a6476a074e3064e7e2e1/.github/workflows/ci-checks.yml#L31

PR review

Anyone in the community is free to review the PR once the tests have passed.
If we didn't discuss your PR in GitHub issues there's a high chance it will not be merged.

@Borda Borda added the enhancement New feature or request label Oct 14, 2023
@github-actions github-actions bot added the ci/cd Continuous integration and delivery label Oct 14, 2023
@Borda Borda enabled auto-merge (squash) October 14, 2023 14:13
@Borda Borda requested a review from justusschock October 15, 2023 12:02
@Borda Borda disabled auto-merge October 15, 2023 12:02
@Borda Borda merged commit f37bbf0 into main Oct 15, 2023
44 checks passed
@Borda Borda deleted the ci/install-extras branch October 15, 2023 12:03
Borda added a commit that referenced this pull request Oct 15, 2023
Borda added a commit that referenced this pull request Oct 15, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
ci/cd Continuous integration and delivery enhancement New feature or request
Projects
None yet
Development

Successfully merging this pull request may close these issues.

1 participant