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

Links checker and redirection capabilities #2090

Merged
merged 20 commits into from
Jun 22, 2023
Merged

Links checker and redirection capabilities #2090

merged 20 commits into from
Jun 22, 2023

Conversation

germa89
Copy link
Collaborator

@germa89 germa89 commented May 31, 2023

Several things:

  • Fixed link checker in make.
  • Also used to fix the links

Added redirection to other pages.

@github-actions github-actions bot added CI/CD Related with CICD, Github Actions, etc Documentation labels May 31, 2023
@codecov
Copy link

codecov bot commented May 31, 2023

Codecov Report

Merging #2090 (4caed1e) into main (09d55a4) will decrease coverage by 0.70%.
The diff coverage is 95.16%.

❗ Current head 4caed1e differs from pull request most recent head efc086c. Consider uploading reports for the commit efc086c to get more accurate results

@@            Coverage Diff             @@
##             main    #2090      +/-   ##
==========================================
- Coverage   86.43%   85.74%   -0.70%     
==========================================
  Files          45       44       -1     
  Lines        7971     7414     -557     
==========================================
- Hits         6890     6357     -533     
+ Misses       1081     1057      -24     

@germa89 germa89 requested a review from clatapie June 16, 2023 09:00
@germa89 germa89 self-assigned this Jun 16, 2023
@germa89
Copy link
Collaborator Author

germa89 commented Jun 16, 2023

Final check on the workflow will come after this PR is merged.

Copy link
Contributor

@clatapie clatapie left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

LGTM! 👍

@germa89 germa89 changed the title Links checker Links checker and redirection capabilities Jun 19, 2023
@germa89 germa89 enabled auto-merge (squash) June 19, 2023 10:07
@germa89 germa89 merged commit 907b459 into main Jun 22, 2023
@germa89 germa89 deleted the ci/links-checker branch June 22, 2023 17:11
@RobPasMue RobPasMue mentioned this pull request Jun 23, 2023
@germa89 germa89 mentioned this pull request Jun 23, 2023
@germa89 germa89 mentioned this pull request Jul 7, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
CI/CD Related with CICD, Github Actions, etc
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants