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.

Sign up for GitHub

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

Jump to bottom

Data.List: Add a needed space to the document #605

Merged
merged 1 commit into from
Oct 27, 2018
Merged

Data.List: Add a needed space to the document #605

merged 1 commit into from
Oct 27, 2018

Conversation

aiya000
Copy link
Contributor

@aiya000 aiya000 commented Jul 31, 2018

minimum 🐕

@aiya000
Copy link
Contributor Author

aiya000 commented Jul 31, 2018

Run reviewdog.

reviewdog -reporter=github-pr-check
reviewdog: status=401: The access token not provided. Get token from > > https://reviewdog.app/gh/vim-jp/vital.vim
The command "if [[ "${RUN_LINT}" == "true" ]] ; then bash scripts/run-lint-on-ci.sh ; fi" exited with 1.

🐶 ❓

@ujihisa
Copy link
Member

ujihisa commented Jul 31, 2018

rerunning travis-ci. Does anybody know how to rerun appveyor's builds?

ujihisa
ujihisa approved these changes Jul 31, 2018
View reviewed changes
Copy link
Member

@ujihisa ujihisa left a comment

Choose a reason for hiding this comment

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

Good 👍

@tyru
Copy link
Member

tyru commented Oct 20, 2018

@aiya000

Writing coverage file .coverage_covimerage.
coverage xml
No data to report.
Command exited with code 1

It should be related to #608, #609 .
Please rebase or merge master.

@aiya000
Copy link
Contributor Author

aiya000 commented Oct 27, 2018

CIs seems it has many pendings... ? 🤔

@tyru tyru merged commit 9b58407 into master Oct 27, 2018
@tyru tyru deleted the aiya000-patch-1 branch October 27, 2018 20:54
@tyru
Copy link
Member

tyru commented Oct 27, 2018

👍

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

@ujihisa ujihisa ujihisa approved these changes

Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
3 participants
@aiya000 @ujihisa @tyru