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.

Sign up for GitHub

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

Jump to bottom

Add --profiling flag #1065

Merged
merged 4 commits into from
Oct 29, 2021
Merged

Add --profiling flag #1065

merged 4 commits into from
Oct 29, 2021

Commits on Oct 28, 2021

  1. Add --profiling flag 

    - Followup to #1025
- Required for #1059

This flag is proposed in the ADR for the OutputManager but wasn't
implemented in #1025, which left us without a way to enable the
generation of the profile-rules.txt file that used to always be
created (other than using the global config). The benchmarks depend on
this file being created.
    Shon Feder committed Oct 28, 2021
    Configuration menu
    Copy the full SHA
    a7d8591 View commit details
    Browse the repository at this point in the history

  2. Add test for generation of profiling-rules.txt

    Shon Feder committed Oct 28, 2021
    Configuration menu
    Copy the full SHA
    434f139 View commit details
    Browse the repository at this point in the history

  3. Fix formatting

    Shon Feder committed Oct 28, 2021
    Configuration menu
    Copy the full SHA
    398f499 View commit details
    Browse the repository at this point in the history

  4. Update release log

    Shon Feder committed Oct 28, 2021
    Configuration menu
    Copy the full SHA
    8a9ca46 View commit details
    Browse the repository at this point in the history