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

feat(CI): add summary of benchmarking output #16488

Open
wants to merge 12 commits into
base: master
Choose a base branch
from
Open

feat(CI): add summary of benchmarking output #16488

wants to merge 12 commits into from

Commits on Sep 4, 2024

  1. CI: add summary for bench

    @adomani
    adomani committed Sep 4, 2024
    Configuration menu
    Copy the full SHA
    0be27ce View commit details
    Browse the repository at this point in the history

Commits on Sep 5, 2024

  1. Michael's comments

    @adomani
    adomani committed Sep 5, 2024
    Configuration menu
    Copy the full SHA
    ae4dfff View commit details
    Browse the repository at this point in the history

  2. Apply suggestions from code review 

    Co-authored-by: grunweg <rothgami@math.hu-berlin.de>
    @adomani @grunweg
    adomani and grunweg authored Sep 5, 2024
    Configuration menu
    Copy the full SHA
    7950fba View commit details
    Browse the repository at this point in the history

  3. Merge branch 'adomani/bench_summary_action' of github.com:leanprover-… 

    …community/mathlib4 into adomani/bench_summary_action
    @adomani
    adomani committed Sep 5, 2024
    Configuration menu
    Copy the full SHA
    165b46b View commit details
    Browse the repository at this point in the history

  4. add docs for final function

    @adomani
    adomani committed Sep 5, 2024
    Configuration menu
    Copy the full SHA
    74305ab View commit details
    Browse the repository at this point in the history

Commits on Sep 15, 2024

  1. Merge branch 'master' into adomani/bench_summary_action

    @adomani
    adomani committed Sep 15, 2024
    Configuration menu
    Copy the full SHA
    67d2eac View commit details
    Browse the repository at this point in the history

  2. add line, rather than sedding away

    @adomani
    adomani committed Sep 15, 2024
    Configuration menu
    Copy the full SHA
    928ca9f View commit details
    Browse the repository at this point in the history

  3. shellcheck

    @adomani
    adomani committed Sep 15, 2024
    Configuration menu
    Copy the full SHA
    860604b View commit details
    Browse the repository at this point in the history

Commits on Oct 21, 2024

  1. Tweaks, part 1

    @grunweg
    grunweg committed Oct 21, 2024
    Configuration menu
    Copy the full SHA
    4d3d5b7 View commit details
    Browse the repository at this point in the history

  2. Tweaks, part 2

    @grunweg
    grunweg committed Oct 21, 2024
    Configuration menu
    Copy the full SHA
    8d5055a View commit details
    Browse the repository at this point in the history

  3. Tweaks, part 3

    @grunweg
    grunweg committed Oct 21, 2024
    Configuration menu
    Copy the full SHA
    26455d5 View commit details
    Browse the repository at this point in the history

Commits on Oct 22, 2024

  1. Last tweak.

    @grunweg
    grunweg committed Oct 22, 2024
    Configuration menu
    Copy the full SHA
    e27dfa7 View commit details
    Browse the repository at this point in the history