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.

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

Fix documentation links: Travis to Github Actions #3105

Merged
merged 1 commit into from
Apr 6, 2021
Merged

Fix documentation links: Travis to Github Actions #3105

merged 1 commit into from
Apr 6, 2021

Conversation

piskvorky
Copy link
Owner

@piskvorky piskvorky commented Apr 6, 2021 •
edited
Loading

Following up on ee3d6fd, updating the CI links consistently everywhere.

@piskvorky piskvorky added documentation Current issue related to documentation testing Issue related with testing (code, documentation, etc) housekeeping internal tasks and processes labels Apr 6, 2021
@piskvorky piskvorky requested a review from mpenkov April 6, 2021 10:45
@mpenkov
Copy link
Collaborator

mpenkov commented Apr 6, 2021

Fix #3099

@mpenkov mpenkov changed the title [MRG] Fix documentation links: Travis to Github Actions Fix documentation links: Travis to Github Actions Apr 6, 2021
@mpenkov mpenkov merged commit e17bcf2 into develop Apr 6, 2021
@mpenkov mpenkov deleted the fix_build_badge branch April 6, 2021 13:32
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@mpenkov mpenkov mpenkov approved these changes

Assignees
No one assigned
Labels
documentation Current issue related to documentation housekeeping internal tasks and processes testing Issue related with testing (code, documentation, etc)
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.

None yet
2 participants
@piskvorky @mpenkov