Skip to content

Conversation

@nullun
Copy link
Collaborator

@nullun nullun commented Sep 16, 2025

No description provided.

@nullun nullun requested a review from Copilot September 16, 2025 16:33
Copy link

Copilot AI left a comment

Choose a reason for hiding this comment

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

Pull Request Overview

This PR removes two deprecated GitHub workflow files that are no longer needed in the repository.

  • Removes the documentation build trigger workflow that was used to dispatch events to the developer portal
  • Removes the build workflow that was used to test MkDocs builds on pull requests

Reviewed Changes

Copilot reviewed 2 out of 2 changed files in this pull request and generated no comments.

File Description
.github/workflows/update-dev-portal.yml Removes workflow that triggered documentation builds via repository dispatch
.github/workflows/build.yml Removes workflow that built and tested MkDocs on pull requests

Tip: Customize your code reviews with copilot-instructions.md. Create the file or learn how to get started.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant