Skip to content

Remove article "Apply a color theme to DevTools"#3293

Merged
captainbrosset merged 5 commits intomainfrom
user/mikehoffms/themes
Nov 15, 2024
Merged

Remove article "Apply a color theme to DevTools"#3293
captainbrosset merged 5 commits intomainfrom
user/mikehoffms/themes

Conversation

@mikehoffms
Copy link
Copy Markdown
Collaborator

@mikehoffms mikehoffms commented Oct 22, 2024

@mikehoffms mikehoffms added the cat: devtools DevTools-related content. label Oct 22, 2024
@mikehoffms mikehoffms added the on-hold The changes are currently on-hold and awaiting further evaluation. label Oct 23, 2024
@learn-build-service-prod
Copy link
Copy Markdown

Learn Build status updates of commit d21116a:

✅ Validation status: passed

File Status Preview URL Details
.openpublishing.redirection.json ✅Succeeded View
microsoft-edge/dev-videos/index.md ✅Succeeded View
microsoft-edge/devtools-guide-chromium/accessibility/preferred-color-scheme-simulation.md ✅Succeeded View
microsoft-edge/devtools-guide-chromium/customize/index-images/theme-setting.png ✅Succeeded n/a (file deleted or renamed)
microsoft-edge/devtools-guide-chromium/customize/index.md ✅Succeeded View
microsoft-edge/devtools-guide-chromium/customize/theme.md ✅Succeeded n/a (file deleted or renamed)
microsoft-edge/devtools-guide-chromium/experimental-features/index.md ✅Succeeded View
microsoft-edge/devtools-guide-chromium/landing/index.yml ✅Succeeded View
microsoft-edge/devtools-guide-chromium/whats-new/2020/05/devtools.md ✅Succeeded View
microsoft-edge/devtools-guide-chromium/whats-new/2021/07/devtools.md ✅Succeeded View
microsoft-edge/devtools-guide-chromium/whats-new/2021/09/devtools.md ✅Succeeded View
microsoft-edge/devtools-guide-chromium/whats-new/2022/01/devtools.md ✅Succeeded View
microsoft-edge/devtools-guide-chromium/whats-new/2022/02/devtools.md ✅Succeeded View
microsoft-edge/devtools-guide-chromium/whats-new/2022/03/devtools-100.md ✅Succeeded View
microsoft-edge/devtools-guide-chromium/whats-new/2022/04/devtools-101.md ✅Succeeded View
microsoft-edge/devtools-guide-chromium/whats-new/2022/09/devtools-106.md ✅Succeeded View
microsoft-edge/devtools-guide-chromium/whats-new/2022/12/devtools-108.md ✅Succeeded View
microsoft-edge/devtools-guide-chromium/whats-new/2023/02/devtools-110.md ✅Succeeded View
microsoft-edge/devtools-guide-chromium/whats-new/2023/05/devtools-113.md ✅Succeeded View
microsoft-edge/devtools-guide-chromium/whats-new/2024/04/devtools-124.md ✅Succeeded View
microsoft-edge/toc.yml ✅Succeeded View

For more details, please refer to the build report.

For any questions, please:

Copy link
Copy Markdown
Collaborator Author

@mikehoffms mikehoffms left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

LGTM

@mikehoffms mikehoffms removed the on-hold The changes are currently on-hold and awaiting further evaluation. label Nov 14, 2024
@captainbrosset captainbrosset merged commit e655825 into main Nov 15, 2024
@captainbrosset captainbrosset deleted the user/mikehoffms/themes branch November 15, 2024 09:43
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

cat: devtools DevTools-related content.

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants