CI - Push the list of migrated pages to WikiMedia

Merge pull request #1482 from junpataleta/a11ylabel #3

Sign in to view logs

Triggered via push December 5, 2025 16:42

mhughes2k

main

Status Skipped

Total duration 1s

Artifacts –

update-wikimedia.yml

on: push

Push migated pages to Wikimedia