1
0
mirror of https://github.com/danog/psalm.git synced 2024-11-30 04:39:00 +01:00
Commit Graph

7 Commits

Author SHA1 Message Date
Bruce Weirdan
62e7e7f470
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
Bruce Weirdan
79b86301eb
Strip refs/tags/ as well 2021-08-09 03:08:34 +03:00
Bruce Weirdan
a284933c43
Be even less quiet about git errors (#5309) 2021-03-02 22:25:37 -05:00
Bruce Weirdan
217b49a8a8
Fix suppressed phar build error (#5304)
This fixes the log noise due to `cp` syntax error. Possibly it will also
cause phar signatures to be available on `psalm/phar`.
2021-03-01 22:49:52 -05:00
Matthew Brown
15a9eece13
Fix tagger 2021-02-13 16:45:13 -05:00
Matthew Brown
ff689ccb0b
Don't push master 2021-02-11 14:06:10 -05:00
Matthew Brown
d6cdfbbe2b
Rename travis-deploy-phar.sh to github-deploy-phar.sh 2021-02-11 13:45:22 -05:00