Skip to content

Actions: ziegenberg/devdocs

CI - Push the list of migrated pages to WikiMedia

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
6 workflow runs
6 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #999 from andrewnicols/meetingMigration
CI - Push the list of migrated pages to WikiMedia #8: Commit d4af469 pushed by ziegenberg
May 3, 2024 15:30 3s main
May 3, 2024 15:30 3s
Merge pull request #920 from andrewnicols/bumpLighthouseTimeout
CI - Push the list of migrated pages to WikiMedia #7: Commit d644969 pushed by ziegenberg
March 27, 2024 10:16 3s main
March 27, 2024 10:16 3s
Merge pull request #928 from purnendudash/patch-1
CI - Push the list of migrated pages to WikiMedia #6: Commit 23c6c2f pushed by ziegenberg
March 22, 2024 12:46 3s main
March 22, 2024 12:46 3s
Merge pull request #738 from individual-it/fix-typos
CI - Push the list of migrated pages to WikiMedia #5: Commit 4704f0a pushed by ziegenberg
September 15, 2023 13:30 2s main
September 15, 2023 13:30 2s
Merge pull request #738 from individual-it/fix-typos
CI - Push the list of migrated pages to WikiMedia #4: Commit 0c6f04b pushed by ziegenberg
September 15, 2023 13:26 2s main
September 15, 2023 13:26 2s
Merge pull request #738 from individual-it/fix-typos
CI - Push the list of migrated pages to WikiMedia #3: Commit 4704f0a pushed by ziegenberg
September 15, 2023 12:46 5s main
September 15, 2023 12:46 5s