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

Track benchmarks in CI #2012

Merged
merged 20 commits into from
Jul 29, 2024
Merged

Track benchmarks in CI #2012

merged 20 commits into from
Jul 29, 2024

Commits on Jul 26, 2024

  1. bencher

    jneem committed Jul 26, 2024
    Configuration menu
    Copy the full SHA
    9ba8e2e View commit details
    Browse the repository at this point in the history
  2. backslash

    jneem committed Jul 26, 2024
    Configuration menu
    Copy the full SHA
    bcbb694 View commit details
    Browse the repository at this point in the history
  3. rust_criterion

    jneem committed Jul 26, 2024
    Configuration menu
    Copy the full SHA
    c23e260 View commit details
    Browse the repository at this point in the history
  4. try out the tweag runner

    jneem committed Jul 26, 2024
    Configuration menu
    Copy the full SHA
    616ebd1 View commit details
    Browse the repository at this point in the history
  5. nix it

    jneem committed Jul 26, 2024
    Configuration menu
    Copy the full SHA
    3825d80 View commit details
    Browse the repository at this point in the history

Commits on Jul 29, 2024

  1. try using the bencher secret

    jneem committed Jul 29, 2024
    Configuration menu
    Copy the full SHA
    9aa226d View commit details
    Browse the repository at this point in the history
  2. run it on ubuntu-latest

    jneem committed Jul 29, 2024
    Configuration menu
    Copy the full SHA
    e1cb657 View commit details
    Browse the repository at this point in the history
  3. try the master/pr split

    jneem committed Jul 29, 2024
    Configuration menu
    Copy the full SHA
    c252b35 View commit details
    Browse the repository at this point in the history
  4. huh?

    jneem committed Jul 29, 2024
    Configuration menu
    Copy the full SHA
    5856b90 View commit details
    Browse the repository at this point in the history
  5. Rewrite it

    jneem committed Jul 29, 2024
    Configuration menu
    Copy the full SHA
    5e48f34 View commit details
    Browse the repository at this point in the history
  6. why isn't the upload running?

    jneem committed Jul 29, 2024
    Configuration menu
    Copy the full SHA
    c78820e View commit details
    Browse the repository at this point in the history
  7. test

    jneem committed Jul 29, 2024
    Configuration menu
    Copy the full SHA
    a3495fc View commit details
    Browse the repository at this point in the history
  8. test

    jneem committed Jul 29, 2024
    Configuration menu
    Copy the full SHA
    9ed7821 View commit details
    Browse the repository at this point in the history
  9. Better workflow name

    jneem committed Jul 29, 2024
    Configuration menu
    Copy the full SHA
    a8de85b View commit details
    Browse the repository at this point in the history
  10. test

    jneem committed Jul 29, 2024
    Configuration menu
    Copy the full SHA
    3d5964a View commit details
    Browse the repository at this point in the history
  11. test

    jneem committed Jul 29, 2024
    Configuration menu
    Copy the full SHA
    3a06fe5 View commit details
    Browse the repository at this point in the history
  12. test

    jneem committed Jul 29, 2024
    Configuration menu
    Copy the full SHA
    8159cac View commit details
    Browse the repository at this point in the history
  13. test

    jneem committed Jul 29, 2024
    Configuration menu
    Copy the full SHA
    10f9c16 View commit details
    Browse the repository at this point in the history
  14. put back the conditional

    jneem committed Jul 29, 2024
    Configuration menu
    Copy the full SHA
    72ab9b2 View commit details
    Browse the repository at this point in the history
  15. Add docs

    jneem committed Jul 29, 2024
    Configuration menu
    Copy the full SHA
    f6fbfce View commit details
    Browse the repository at this point in the history