Skip to content

Actions: moodle/devdocs

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
104 workflow run results
104 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #788 from timhunt/peer-checklist
CI - Lint on push (project files) #950: Commit 118ab9e pushed by github-merge-queue bot
October 31, 2023 08:44 1m 35s main
October 31, 2023 08:44 1m 35s
Merge pull request #788 from timhunt/peer-checklist
CI - Push the list of migrated pages to WikiMedia #650: Commit 118ab9e pushed by github-merge-queue bot
October 31, 2023 08:44 9m 53s main
October 31, 2023 08:44 9m 53s
[chore] Improve current version information for 'master'
Issue labeller - New issues should be marked with 'needs-triage' #665: Issue #789 opened by andrewnicols
October 31, 2023 07:45 13s
October 31, 2023 07:45 13s
Peer review checklist improvements
CI - Test deployment for Pull Requests #1311: Pull request #788 synchronize by andrewnicols
October 31, 2023 07:19 12m 18s timhunt:peer-checklist
October 31, 2023 07:19 12m 18s
Peer review checklist improvements
CI - Lint for Pull Requests #1105: Pull request #788 synchronize by andrewnicols
October 31, 2023 07:19 1m 51s timhunt:peer-checklist
October 31, 2023 07:19 1m 51s
Peer review checklist improvements
CI - Lighthouse website audit Report #957: Pull request #788 synchronize by andrewnicols
October 31, 2023 07:19 7m 43s
October 31, 2023 07:19 7m 43s
[repo] 4.3.1 has not been released
CI - Lint on push (project files) #949: Commit 0d26d74 pushed by andrewnicols
October 31, 2023 06:46 1m 50s main
October 31, 2023 06:46 1m 50s
[repo] 4.3.1 has not been released
CI - Push the list of migrated pages to WikiMedia #649: Commit 0d26d74 pushed by andrewnicols
October 31, 2023 06:46 10m 14s main
October 31, 2023 06:46 10m 14s
WikiMedia - Fetch the list of obsolete pages
WikiMedia - Fetch the list of obsolete pages #563: Scheduled
October 31, 2023 05:37 1m 14s main
October 31, 2023 05:37 1m 14s
Peer review checklist improvements
CI - Test deployment for Pull Requests #1310: Pull request #788 opened by timhunt
October 30, 2023 15:25 14m 8s timhunt:peer-checklist
October 30, 2023 15:25 14m 8s
Peer review checklist improvements
Issue labeller - New issues should be marked with 'needs-triage' #664: Pull request #788 opened by timhunt
October 30, 2023 15:25 20s timhunt:peer-checklist
October 30, 2023 15:25 20s
Peer review checklist improvements
CI - Lint for Pull Requests #1104: Pull request #788 opened by timhunt
October 30, 2023 15:25 1m 49s timhunt:peer-checklist
October 30, 2023 15:25 1m 49s
Peer review checklist improvements
CI - Lighthouse website audit Report #956: Pull request #788 opened by timhunt
October 30, 2023 15:25 10m 29s
October 30, 2023 15:25 10m 29s
WikiMedia - Fetch the list of obsolete pages
WikiMedia - Fetch the list of obsolete pages #562: Scheduled
October 30, 2023 05:37 1m 6s main
October 30, 2023 05:37 1m 6s
WikiMedia - Fetch the list of obsolete pages
WikiMedia - Fetch the list of obsolete pages #561: Scheduled
October 29, 2023 05:37 1m 10s main
October 29, 2023 05:37 1m 10s
Scheduled - Update Metadata from Moodle
Scheduled - Update Metadata from Moodle #88: Scheduled
October 29, 2023 05:34 2m 16s main
October 29, 2023 05:34 2m 16s
WikiMedia - Fetch the list of obsolete pages
WikiMedia - Fetch the list of obsolete pages #560: Scheduled
October 28, 2023 05:37 1m 5s main
October 28, 2023 05:37 1m 5s
[docs] Error in version.php
Issue labeller - New issues should be marked with 'needs-triage' #663: Issue #787 opened by Art4
October 27, 2023 20:27 20s
October 27, 2023 20:27 20s
WikiMedia - Fetch the list of obsolete pages
WikiMedia - Fetch the list of obsolete pages #559: Scheduled
October 27, 2023 05:37 1m 13s main
October 27, 2023 05:37 1m 13s
Merge pull request #783 from kabalin/projectsummary
CI - Lint on push (project files) #947: Commit 1728241 pushed by github-merge-queue bot
October 27, 2023 02:24 1m 51s main
October 27, 2023 02:24 1m 51s
Merge pull request #783 from kabalin/projectsummary
CI - Push the list of migrated pages to WikiMedia #648: Commit 1728241 pushed by github-merge-queue bot
October 27, 2023 02:24 7m 16s main
October 27, 2023 02:24 7m 16s
Merge pull request #786 from abgreeve/version-update
CI - Lint on push (project files) #945: Commit 1e4198e pushed by github-merge-queue bot
October 27, 2023 02:23 2m 16s main
October 27, 2023 02:23 2m 16s
Merge pull request #786 from abgreeve/version-update
CI - Push the list of migrated pages to WikiMedia #647: Commit 1e4198e pushed by github-merge-queue bot
October 27, 2023 02:23 5m 15s main
October 27, 2023 02:23 5m 15s