New Pull Request

Switched to linter plugin #19

Merged

sev merged 3 commits from linter-plugin into master 5 years ago

sev commented 5 years ago

Owner

There is no content yet.

sev added 1 commit 5 years ago

36d1fde031 Switched to linter plugin

sev added 1 commit 5 years ago

ff773449f3 pull: always => pull: true

sev added 1 commit 5 years ago

0a21c0d690 Added .shellcheckrc

sev changed title from ~~WIP: Switched to linter plugin~~ to Switched to linter plugin 5 years ago

sev merged commit 8efb43bd35 into master 5 years ago

sev referenced this issue from a commit 5 years ago

Switched to linter plugin (#19)

sev deleted branch linter-plugin 5 years ago

ci the build was successful

Details

The pull request has been merged as 8efb43bd35.

Sign in to join this conversation.

No reviewers

No Label

No Milestone

No Assignees

1 Participants

Notifications

Due Date

No due date set.

Dependencies

This pull request currently doesn't have any dependencies.