Skip to content

Fix trailing whitespaces at different locations#81

Open
ssmolov wants to merge 1 commit intohriener:masterfrom
mvg-internship:fix.trailing.whitespaces
Open

Fix trailing whitespaces at different locations#81
ssmolov wants to merge 1 commit intohriener:masterfrom
mvg-internship:fix.trailing.whitespaces

Conversation

@ssmolov
Copy link
Copy Markdown
Contributor

@ssmolov ssmolov commented Aug 4, 2023

More trailing whitespaces were found, so I'd like to synchronize our fork with main repository, starting from this small fixing.

@codecov-commenter
Copy link
Copy Markdown

Codecov Report

Merging #81 (ea5235d) into master (a8c1fab) will not change coverage.
Report is 1 commits behind head on master.
The diff coverage is 100.00%.

❗ Your organization is not using the GitHub App Integration. As a result you may experience degraded service beginning May 15th. Please install the Github App Integration for your organization. Read more.

@@           Coverage Diff           @@
##           master      #81   +/-   ##
=======================================
  Coverage   85.92%   85.92%           
=======================================
  Files          17       17           
  Lines        3027     3027           
=======================================
  Hits         2601     2601           
  Misses        426      426           
Files Changed Coverage Δ
include/lorina/bristol.hpp 85.00% <ø> (ø)
include/lorina/dimacs.hpp 100.00% <100.00%> (ø)

@hriener
Copy link
Copy Markdown
Owner

hriener commented Aug 4, 2023

Looks similar to #79

@hriener
Copy link
Copy Markdown
Owner

hriener commented Aug 4, 2023

I added a Python script rstrip_files.py to directory tools. If you pass -u, then it should recursively rstrip all files starting from your current directory.

Signed-off-by: Sergey Smolov <smolov@ispras.ru>
@ssmolov ssmolov force-pushed the fix.trailing.whitespaces branch from ea5235d to d228f74 Compare August 8, 2023 08:19
@ssmolov
Copy link
Copy Markdown
Contributor Author

ssmolov commented Aug 8, 2023

Thanks! I've applied script for project files, but GitHub rejected my push because of "refusing to allow a Personal Access Token to create or update workflow .github/workflows/coverage.yml without workflow scope". So now I've pushed changes that do not include modifications of .github/workflows/*.yml

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants