Skip to content

Conversation

@martialonline
Copy link
Contributor

Proposed changes

Add lint workflow

Checklist

Before creating a PR, run through this checklist and mark each as complete.

  • I have read the CONTRIBUTING doc
  • I have rebased my branch onto master
  • I will ensure my PR is targeting the master branch and pulling from my branch from my own fork

@martialonline martialonline merged commit 11f5901 into master Oct 21, 2020
@martialonline martialonline deleted the add-lint branch October 21, 2020 10:47
@lucacome lucacome added the chore Pull requests for routine tasks label Feb 19, 2021
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

chore Pull requests for routine tasks

Projects

None yet

Development

Successfully merging this pull request may close these issues.

4 participants