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

Merge pull request #845 from mickhawkins/main #697

Sign in to view logs

Merge pull request #845 from mickhawkins/main

Merge pull request #845 from mickhawkins/main #697

Run time

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