Skip to content

Conversation

@nickvergessen
Copy link
Member

Signed-off-by: Joas Schilling [email protected]

@skjnldsv
Copy link
Member

@skjnldsv skjnldsv merged commit 1197780 into master Aug 18, 2022
@delete-merged-branch delete-merged-branch bot deleted the nickvergessen-patch-1 branch August 18, 2022 07:50
@nickvergessen
Copy link
Member Author

Wut, it passes? https://github.com/nextcloud/circles/runs/7877169613?check_suite_focus=true

Yeah because it used the old lib because #1133 was not there. it didn't reinstall newest master?

@nickvergessen
Copy link
Member Author

Also I was refering to pushes, not PRs/merges.
E.g. Translations which therefor run psalm on a regular basis:
https://github.com/nextcloud/circles/actions/workflows/static-analysis.yml

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants