Lint info.xml

Copy/move pages in/between collectives #1588

Sign in to view logs

Triggered via pull request October 25, 2023 10:27

mejo-

synchronize #963

enh/move_copy_page

Status Success

Total duration 2m 30s

Artifacts –

This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

lint-info-xml.yml

on: pull_request