CI - Push the list of migrated pages to WikiMedia · Workflow runs · moodle/devdocs · GitHub

Actions

All workflows
Workflows
- Auto Author Assign Auto Author Assign
- CI - Lint for Pull Requests CI - Lint for Pull Requests
- CI - Lint on push (project files) CI - Lint on push (project files)
- CI - Push the list of migrated pages to WikiMedia CI - Push the list of migrated pages to WikiMedia
- CI - Test deployment for Pull Requests CI - Test deployment for Pull Requests
- Copilot code review Copilot code review
- Dependabot Updates Dependabot Updates
- Issue labeller - New issues should be marked with 'needs-triage' Issue labeller - New issues should be marked with 'needs-triage'
- Scheduled - Update Metadata from Moodle Scheduled - Update Metadata from Moodle
- WikiMedia - Fetch the list of obsolete pages WikiMedia - Fetch the list of obsolete pages
Management
- Caches
- Deployments

CI - Push the list of migrated pages to WikiMedia

Actions

Loading...
Loading

update-wikimedia.yml

8 workflow run results

8 workflow run results

Merge pull request #1153 from kabalin/phpunit-mdl-version CI - Push the list of migrated pages to WikiMedia #971: Commit 661754f pushed by github-merge-queue bot

6m 11s main

main

6m 11s

Merge pull request #1160 from Menrath/patch-2 CI - Push the list of migrated pages to WikiMedia #970: Commit f95f336 pushed by github-merge-queue bot

6m 51s main

main

6m 51s

Merge pull request #1152 from davewoloszyn/MDL-83381 CI - Push the list of migrated pages to WikiMedia #969: Commit 1d7554a pushed by github-merge-queue bot

4m 32s main

main

4m 32s

Merge pull request #1158 from mickhawkins/main CI - Push the list of migrated pages to WikiMedia #968: Commit 9f8458c pushed by github-merge-queue bot

6m 40s main

main

6m 40s

Merge pull request #1151 from andrewnicols/fixBrokenLinks CI - Push the list of migrated pages to WikiMedia #967: Commit 1d6f4cd pushed by github-merge-queue bot

6m 9s main

main

6m 9s

Merge pull request #1155 from kabalin/filter-required-file-changed CI - Push the list of migrated pages to WikiMedia #966: Commit 4872821 pushed by github-merge-queue bot

6m 13s main

main

6m 13s

Merge pull request #1150 from andrewnicols/nextRelease CI - Push the list of migrated pages to WikiMedia #965: Commit 91c724d pushed by github-merge-queue bot

5m 36s main

main

5m 36s

Merge pull request #1105 from NeillM/patch-1 CI - Push the list of migrated pages to WikiMedia #964: Commit 7a34f71 pushed by github-merge-queue bot

6m 9s main

main

6m 9s