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

feat: add --no-mangling to next build + fix --profile option #42633

Merged
merged 8 commits into from Nov 8, 2022

Commits on Nov 8, 2022

  1. Copy the full SHA
    d428035 View commit details
    Browse the repository at this point in the history
  2. fix name

    feedthejim committed Nov 8, 2022
    Copy the full SHA
    cf7c16f View commit details
    Browse the repository at this point in the history
  3. add profiling build

    feedthejim committed Nov 8, 2022
    Copy the full SHA
    205c9f6 View commit details
    Browse the repository at this point in the history
  4. Copy the full SHA
    46a442c View commit details
    Browse the repository at this point in the history
  5. fix refactor

    feedthejim committed Nov 8, 2022
    Copy the full SHA
    b5884b1 View commit details
    Browse the repository at this point in the history
  6. remove log

    feedthejim committed Nov 8, 2022
    Copy the full SHA
    110336e View commit details
    Browse the repository at this point in the history
  7. add better info message

    feedthejim committed Nov 8, 2022
    Copy the full SHA
    40bd8f7 View commit details
    Browse the repository at this point in the history
  8. Copy the full SHA
    dd4ea5a View commit details
    Browse the repository at this point in the history