1
0
mirror of https://github.com/danog/psalm.git synced 2024-11-27 12:55:26 +01:00
Commit Graph

19 Commits

Author SHA1 Message Date
Brown
41e6ef6455 Remove reference to coverage 2020-04-18 16:58:52 -04:00
Brown
eb08e101fb Remove coverage because it’s often too slow 2020-04-18 16:58:21 -04:00
Bruce Weirdan
95bc9603be
Added coverage upload to coveralls.io (#3078)
* Added coverage upload to coveralls.io

* Commented out the step that generated wrong link
2020-04-05 22:38:30 -04:00
Bruce Weirdan
7f5580d326
Run every project as separate step (#3076)
It's easier to see which project is failing this way
2020-04-05 20:25:50 -04:00
Barney Laurance
4a4c0f1362 Clarify documentation of --diff and --diff-methods (#2680)
* Clarify documentation of --diff and --diff-methods

* Save Psalm cache in CircleCI
2020-01-25 10:50:11 -05:00
Marco Pivetta
b26c57237f Ensure BC of API, compat with roave/you-are-using-it-wrong, completeness of composer.json (#2140)
* Test against `roave/you-are-using-it-wrong`

* Added CI step to ensure BC of declared API

* Added step to ensure `composer.json` has all used deps

* Including CI check tools as dev dependencies

* Typo fix: s/backwards/backward

* Run `roave/backward-compatibility-check` off an isolated location with no other dependencies

* Run `test-with-real-projects` task with PHP 7.4 as base runtime

* Run `testing-with-real-projects` also against `ocramius/proxy-manager`

`ocramius/proxy-manager` is an extremely heavy `vimeo/psalm` consumer,
and relies on a lot of the templated types system to generate real
types for proxies produced by runtime evaluation.
2020-01-01 13:55:33 -05:00
Matthew Brown
6716c35f88
Add PHPUnit back 2019-09-14 15:49:01 -04:00
Matthew Brown
aec64c1a39 Remove circleci build step properly 2019-08-26 00:45:40 -04:00
Matthew Brown
d57e4dc01c Remove PHPUnit end-to-end test for now 2019-08-26 00:44:11 -04:00
Barney Laurance
ff6eae3d59 Show link to coverage & phar circle CI artifacts (fixes #1919 ) (#1928)
* Show link to coverage

* Simplify outputing coverage report link

* Display link to PHAR download
2019-07-10 15:43:17 -04:00
Barney Laurance
049b148ec2 Remove non-working mutation coverage step from CircleCI config (#1850)
Also simplifying the PHPUnit with coverage step to stop collecting data
required for mutation testing
2019-06-27 11:52:23 -04:00
Barney Laurance
22ae114baa Add PHPCS job to CircleCI workflow (#1807) 2019-06-17 21:17:44 -04:00
Barney Laurance
5ab5ec261c Speed up CircleCI build (#1805)
* Use multiple threads to speed up psalm self analysis in CicleCi

* Use non-zero exit code when pcntl needed and not loaded

* Merge install and static analysis jobs in CircleCI

Saves about 20 seconds of 'spin up environment' time
2019-06-17 16:42:47 -04:00
Barney Laurance
3d650edbc0 Use two threads for mutation testing 2019-06-16 09:04:56 -04:00
Barney Laurance
ea5e2dd75f Only mutate covered lines of code when running mutation testing 2019-06-16 09:04:56 -04:00
Barney Laurance
10e58b9f91 Fix test result storage for dispaly at CircleCI 2019-06-16 09:04:56 -04:00
Barney Laurance
3a4e608ca9 Infection is failing with message "Received 'killed' signal". Not sure why. 2019-06-16 09:04:56 -04:00
Barney Laurance
4e3a208ec3 Add circleci config file 2019-06-16 09:04:56 -04:00
Matthew Brown
485d007f13 Add simple CircleCI config for debugging 2019-06-15 18:08:18 -04:00