w0rp
|
6888ca46a7
|
Fix retrying on some test failures
|
2020-08-29 16:32:17 +01:00 |
|
w0rp
|
f1ecc2e068
|
Fix psalm options. Retry on some test failures
|
2020-08-29 16:31:47 +01:00 |
|
Grégoire Paris
|
95b8689835
|
Add the possiblity to add extra psalm options
|
2019-10-07 23:15:01 +02:00 |
|
Grégoire Paris
|
e47c1965a6
|
Use the psalm executable with the LS option
This is the simplest way of getting the psalm language server to run
now.
|
2019-07-25 23:19:30 +02:00 |
|
w0rp
|
3eb6d7b3db
|
#2395 - Handle empty output for redpen
|
2019-03-29 16:09:27 +00:00 |
|
Matt Brown
|
7fa0d3dcc4
|
Add tests for updated Psalm plugin
|
2018-10-19 16:31:12 -04:00 |
|
Richard Marmorstein
|
947360f714
|
Add psalm linter for PHP (#1893)
|
2018-09-27 16:48:47 +01:00 |
|