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

tc speed test #12810

Closed
wants to merge 11 commits into from
Closed

tc speed test #12810

wants to merge 11 commits into from

Commits on May 9, 2024

  1. chore: adaptations for nightly-2024-05-09

    @kim-em
    kim-em committed May 9, 2024
    Configuration menu
    Copy the full SHA
    c8ba1f8 View commit details
    Browse the repository at this point in the history

Commits on May 10, 2024

  1. Update lean-toolchain

    @FR-vdash-bot
    FR-vdash-bot authored May 10, 2024
    Configuration menu
    Copy the full SHA
    36ef486 View commit details
    Browse the repository at this point in the history

  2. Update lean-toolchain

    @FR-vdash-bot
    FR-vdash-bot authored May 10, 2024
    Configuration menu
    Copy the full SHA
    a6264cf View commit details
    Browse the repository at this point in the history

  3. fix

    @FR-vdash-bot
    FR-vdash-bot committed May 10, 2024
    Configuration menu
    Copy the full SHA
    516af7f View commit details
    Browse the repository at this point in the history

  4. shake

    @FR-vdash-bot
    FR-vdash-bot committed May 10, 2024
    Configuration menu
    Copy the full SHA
    b6f4a43 View commit details
    Browse the repository at this point in the history

Commits on May 11, 2024

  1. Update lean-toolchain

    @FR-vdash-bot
    FR-vdash-bot authored May 11, 2024
    Configuration menu
    Copy the full SHA
    0712297 View commit details
    Browse the repository at this point in the history

  2. fix

    @FR-vdash-bot
    FR-vdash-bot committed May 11, 2024
    Configuration menu
    Copy the full SHA
    ba1eb0b View commit details
    Browse the repository at this point in the history

  3. Update lean-toolchain

    @FR-vdash-bot
    FR-vdash-bot authored May 11, 2024
    Configuration menu
    Copy the full SHA
    9b3fad2 View commit details
    Browse the repository at this point in the history

  4. Update lean-toolchain

    @FR-vdash-bot
    FR-vdash-bot authored May 11, 2024
    Configuration menu
    Copy the full SHA
    4f80ca8 View commit details
    Browse the repository at this point in the history

Commits on May 12, 2024

  1. Update lean-toolchain

    @FR-vdash-bot
    FR-vdash-bot authored May 12, 2024
    Configuration menu
    Copy the full SHA
    30da8c1 View commit details
    Browse the repository at this point in the history

  2. Update lean-toolchain

    @FR-vdash-bot
    FR-vdash-bot authored May 12, 2024
    Configuration menu
    Copy the full SHA
    01cc3e1 View commit details
    Browse the repository at this point in the history