psalm

mirror of https://github.com/danog/psalm.git synced 2025-01-22 05:41:20 +01:00

History

Reorganize pushes to psalm/phar

Previously we built phar and pushed it:

 1. To `psalm/phar:master` (always)
 2. To `psalm/phar:$tag` (for tagged releases)

However it's entirely possible to tag branches that diverged from master
(like when we do a patch release for a legacy version). In this case our
push to `psalm/phar:master` was rejected and script failed. As a result,
`psalm/phar` was missing the tag (release).

Now we will either:
 * push to `psalm/phar:master` (if the build was for `vimeo/psalm:master`)
 * or push to `psalm/phar:$tag` (if it's a tagged release)

2023-02-24 21:47:11 -04:00

build-phar.sh

Disable parallel PHAR build

2022-11-26 00:36:47 -04:00

composer-require-checker-config.json

Added Composer\Audoload\ClassLoader, it is soft dependency symbol

2022-02-11 22:51:31 +01:00

generate_issues_list_doc.php

Fix code style.

2022-01-12 15:33:26 -06:00

generate_levels_doc.php

Import instead of using fqn