Skip to content

Update docs workflow#38195

Merged
mdo merged 1 commit intomainfrom
main-lmp-update-docs-workflow
Mar 10, 2023
Merged

Update docs workflow#38195
mdo merged 1 commit intomainfrom
main-lmp-update-docs-workflow

Conversation

@louismaximepiton
Copy link
Copy Markdown
Member

Description

Adding the check of #38004 in the workflow.

Motivation & Context

To not forget that it might be run.

Type of changes

  • Bug fix (non-breaking change which fixes an issue)
  • New feature (non-breaking change which adds functionality)
  • Refactoring (non-breaking change)
  • Breaking change (fix or feature that would change existing functionality)

Checklist

  • I have read the contributing guidelines
  • My code follows the code style of the project (using npm run lint)
  • (NA) My change introduces changes to the documentation
  • (NA) I have updated the documentation accordingly
  • (NA) I have added tests to cover my changes
  • All new and existing tests passed

Live previews

NA

Related issues

NA

@mdo mdo merged commit 2a9308b into main Mar 10, 2023
@mdo mdo deleted the main-lmp-update-docs-workflow branch March 10, 2023 17:18
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

Projects

No open projects
Status: Done

Development

Successfully merging this pull request may close these issues.

2 participants