Skip to content
CI - Push the list of migrated pages to WikiMedia

Merge pull request #1205 from andrewnicols/WorplaceSpelling #1012

Sign in to view logs

Merge pull request #1205 from andrewnicols/WorplaceSpelling

Merge pull request #1205 from andrewnicols/WorplaceSpelling #1012

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Push migated pages to Wikimedia
5m 13s
5m 13s