Skip to content

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