Skip to content

docs: fix CI and remove LGTM badges #1269

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

Merged
merged 2 commits into from
Dec 17, 2022
Merged

docs: fix CI and remove LGTM badges #1269

merged 2 commits into from
Dec 17, 2022

Conversation

Panquesito7
Copy link
Member

Open in Gitpod know more

Describe your change

  • Fix CI and remove LGTM badges.

Checklist:

  • I have read CONTRIBUTING.md.
  • This pull request is all my own work -- I have not plagiarized.
  • I know that pull requests will not be merged if they fail the automated tests.
  • This PR only changes one algorithm file. To ease review, please open separate PRs for separate algorithms.
  • All new JavaScript files are placed inside an existing directory.
  • All filenames should use the UpperCamelCase (PascalCase) style. There should be no spaces in filenames.
    Example:UserProfile.js is allowed but userprofile.js,Userprofile.js,user-Profile.js,userProfile.js are not
  • All new algorithms have a URL in its comments that points to Wikipedia or other similar explanation.
  • If this pull request resolves one or more open issues then the commit message contains Fixes: #{$ISSUE_NO}.

github-actions and others added 2 commits December 17, 2022 02:01
LGTM is no longer a supported service and has been integrated with GitHub (which is now CodeQL).
We can create a CodeQL workflow and integrate it into the repository, however, that fits for another PR.

The shields badge API was updated, thus, causing an invalid badge: badges/shields#8671
@Panquesito7 Panquesito7 added fix Fixes a bug documentation PR that adds or fixes docs; issue that points out issues with the docs labels Dec 17, 2022
@raklaptudirm raklaptudirm merged commit b36b458 into master Dec 17, 2022
@raklaptudirm raklaptudirm deleted the fix_badges branch December 17, 2022 06:22
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
documentation PR that adds or fixes docs; issue that points out issues with the docs fix Fixes a bug
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants