Skip to content

Conversation

@amrit110
Copy link
Member

PR Type

Fix

  • The CI workflow didn't activate the virtual environment, and hence mike wasn't found in PATH.

@amrit110 amrit110 added bug Something isn't working github_actions Pull requests that update GitHub Actions code labels Apr 21, 2025
@amrit110 amrit110 requested a review from Copilot April 21, 2025 16:36
@amrit110 amrit110 self-assigned this Apr 21, 2025
Copy link
Contributor

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 fixes a broken docs workflow by ensuring the virtual environment is activated so that the 'mike' command is available in PATH.

  • Activate the virtual environment in the docs workflow.
  • Ensure subsequent commands run within the correct environment.

@amrit110 amrit110 requested a review from XkunW April 21, 2025 16:37
@XkunW XkunW merged commit b13093a into main Apr 21, 2025
3 checks passed
@XkunW XkunW deleted the fix_docs_ci branch April 21, 2025 18:52
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

bug Something isn't working github_actions Pull requests that update GitHub Actions code

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants