Uh oh!
There was an error while loading. Please reload this page.
[master] Update psalm-baseline.xml - #40725
Conversation
0c00854 to
85f431fComparee17e67d to
e2c889dCompare15ccf1c to
8eead1aComparef7fdc7e to
0732a4cCompare0732a4c to
f038819Compare75c69f2 to
f20b304Compare2296d04 to
dbb07dcComparedbb07dc to
94c4e7dCompare94c4e7d to
cb636b8Comparecome-nc
commented
Feb 1, 2024
Rebased, updated baseline and attempted to fix baseline updating workflow. The baseline I pushed is full of |
nickvergessen
commented
Feb 1, 2024
While on it, can we enforce the correct PHP version as baseline: https://github.com/nextcloud/spreed/blob/main/psalm.xml#L8 |
dfc33b9 to
3543751Compare3543751 to
e963f37Comparee963f37 to
dfc33b9Comparecome-nc
commented
Feb 5, 2024
The psalm jobs already run on 8.0, and our composer.json lists 8.0 as php platform, should be enough, no? |
dfc33b9 to
0a1fab0CompareSigned-off-by: GitHub <noreply@github.com>
Signed-off-by: Côme Chilliet <come.chilliet@nextcloud.com>
Signed-off-by: Côme Chilliet <come.chilliet@nextcloud.com>
…flow Signed-off-by: Côme Chilliet <come.chilliet@nextcloud.com>
0a1fab0 to
40ab40dComparecome-nc
commented
Feb 6, 2024
/backport 40ab40de30ee90ded277065da206aa3830a2f796to stable28 |
come-nc
commented
Feb 6, 2024
/backport 40ab40d to stable28 |
The backport to # Switch to the target branch and update it
git checkout stable28
git pull origin stable28
# Create the new backport branch
git checkout -b backport/40725/stable28
# Cherry pick the change from the commit sha1 of the change against the default branch# This might cause conflicts, resolve them
git cherry-pick 40ab40de
# Push the cherry pick commit to the remote repository and open a pull request
git push origin backport/40725/stable28Error: Failed to push branch backport/40725/stable28: To https://github.com/nextcloud/server.git Learn more about backports at https://docs.nextcloud.com/server/stable/go.php?to=developer-backports. |
Auto-generated update psalm-baseline.xml with fixed psalm warnings