Details
Details
- Other Assignee
- roti_WMDE
Related Objects
Related Objects
- Mentioned In
- T354644: Release WMDE.17 - (MediaWiki 1.41.0)
Event Timeline
Comment Actions
@RickiJay-WMDE mentioned if: github.event.pull_request.merged == 'true' might help to fix that issue.
Comment Actions
Updates:
Changed the Github workflow build_test_publish_release.yml, which is now triggered by closed PRs on the mw-* branches:
on: pull_request: types: - closed branches: - "mw-*"
Each job on the workflow has a check that the PR was *merged*, not just closed:
if: github.event.pull_request.merged == true