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鈥檒l occasionally send you account related emails.

Already on GitHub? Sign in to your account

Ingore beta divergence link for make-docs check (#1584 #1584

Merged
merged 1 commit into from Mar 3, 2023

Conversation

stancld
Copy link
Contributor

@stancld stancld commented Mar 3, 2023

What does this PR do?

Fixes #<issue_number>

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 you write any new necessary tests?
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.

Did you have fun?

Make sure you had fun coding 馃檭

@stancld stancld changed the title Fix beta divergence link Fix beta divergence link for docs Mar 3, 2023
@stancld stancld added bug / fix Something isn't working documentation Improvements or additions to documentation labels Mar 3, 2023
@stancld stancld changed the title Fix beta divergence link for docs Ingore beta divergence link for make-docs check Mar 3, 2023
@Borda Borda enabled auto-merge (squash) March 3, 2023 21:50
@mergify mergify bot added the ready label Mar 3, 2023
@Borda Borda disabled auto-merge March 3, 2023 21:52
@Borda Borda changed the title Ingore beta divergence link for make-docs check Ingore beta divergence link for make-docs check (#1584 Mar 3, 2023
@Borda Borda merged commit 128166d into master Mar 3, 2023
@Borda Borda deleted the bugfix/infolm-link branch March 3, 2023 21:53
Borda pushed a commit that referenced this pull request Mar 10, 2023
docs: Ignore sciencedirect link check
(cherry picked from commit 128166d)
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
bug / fix Something isn't working documentation Improvements or additions to documentation ready
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

2 participants