Skip to content

Navigation Menu

Sign in
Appearance settings

Search code, repositories, users, issues, pull requests...

Provide feedback

We read every piece of feedback, and take your input very seriously.

Saved searches

Use saved searches to filter your results more quickly

Sign up
Appearance settings

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
raklaptudirm merged 2 commits into master from fix_badges
Dec 17, 2022
Merged

docs: fix CI and remove LGTM badges #1269

raklaptudirm merged 2 commits into master from fix_badges
Dec 17, 2022

Conversation

Copy link
Member

@Panquesito7 Panquesito7 commented Dec 17, 2022

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
Reviewers

@raklaptudirm raklaptudirm raklaptudirm approved these changes

@appgurueu appgurueu Awaiting requested review from appgurueu appgurueu is a code owner

Assignees
No one assigned
Labels
documentation PR that adds or fixes docs; issue that points out issues with the docs fix Fixes a bug
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.

AltStyle によって変換されたページ (->オリジナル) /