CI - Push the list of migrated pages to WikiMedia

Merge pull request #1148 from leonstr/patch-12 #959

Sign in to view logs

Triggered via push October 7, 2024 15:11

github-merge-queue[bot]

main

Status Success

Total duration 7m 24s

Artifacts –

update-wikimedia.yml

on: push

Push migated pages to Wikimedia