Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

doc: allow developer to skip examples build #553

Merged
merged 10 commits into from
Oct 18, 2024
Merged

Commits on Oct 17, 2024

  1. Configuration menu
    Copy the full SHA
    ba6fe6a View commit details
    Browse the repository at this point in the history
  2. Configuration menu
    Copy the full SHA
    8334ce2 View commit details
    Browse the repository at this point in the history
  3. fix: remove unnecessary print

    Co-authored-by: Revathy Venugopal <104772255+Revathyvenugopal162@users.noreply.github.com>
    jorgepiloto and Revathyvenugopal162 authored Oct 17, 2024
    Configuration menu
    Copy the full SHA
    272656f View commit details
    Browse the repository at this point in the history
  4. fix: extensions loading

    jorgepiloto committed Oct 17, 2024
    Configuration menu
    Copy the full SHA
    171b459 View commit details
    Browse the repository at this point in the history
  5. fix: code style

    jorgepiloto committed Oct 17, 2024
    Configuration menu
    Copy the full SHA
    52fc5c1 View commit details
    Browse the repository at this point in the history

Commits on Oct 18, 2024

  1. Configuration menu
    Copy the full SHA
    42a9653 View commit details
    Browse the repository at this point in the history
  2. Configuration menu
    Copy the full SHA
    8d5fca0 View commit details
    Browse the repository at this point in the history
  3. Configuration menu
    Copy the full SHA
    1fc76c9 View commit details
    Browse the repository at this point in the history
  4. Configuration menu
    Copy the full SHA
    36c5f5b View commit details
    Browse the repository at this point in the history
  5. fix: restore file

    jorgepiloto committed Oct 18, 2024
    Configuration menu
    Copy the full SHA
    9dd4c7a View commit details
    Browse the repository at this point in the history