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

move psalm integration to integration directory #125

Merged
merged 1 commit into from
Feb 16, 2021
Merged

move psalm integration to integration directory #125

merged 1 commit into from
Feb 16, 2021

Conversation

azjezz
Copy link
Owner

@azjezz azjezz commented Feb 16, 2021

No description provided.

@azjezz azjezz added Priority: High After critical issues are fixed, these should be dealt with before any further issues. Status: Accepted It's clear what the subject of the issue is about, and what the resolution should be. Type: Enhancement Most issues will probably ask for additions or changes. labels Feb 16, 2021
@azjezz azjezz added this to the 1.2.0 milestone Feb 16, 2021
@azjezz azjezz self-assigned this Feb 16, 2021
@coveralls
Copy link

coveralls commented Feb 16, 2021 •
edited
Loading

Pull Request Test Coverage Report for Build 570175765

  • 0 of 0 changed or added relevant lines in 0 files are covered.
  • No unchanged relevant lines lost coverage.
  • Overall coverage remained the same at 99.957%
Totals Coverage Status
Change from base Build 570130509: 0.0%
Covered Lines: 2301
Relevant Lines: 2302
💛 - Coveralls

@azjezz azjezz merged commit 78289a1 into 1.2.x Feb 16, 2021
@azjezz azjezz deleted the integrations/psalm branch February 16, 2021 01:17
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers
No reviews
Assignees

@azjezz azjezz

Labels
Priority: High After critical issues are fixed, these should be dealt with before any further issues. Status: Accepted It's clear what the subject of the issue is about, and what the resolution should be. Type: Enhancement Most issues will probably ask for additions or changes.
Projects
None yet
Milestone
1.2.0
Development

Successfully merging this pull request may close these issues.
2 participants
@azjezz @coveralls