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

Header Generation Benchmark in CI #251

Merged
merged 61 commits into from
Nov 4, 2023
Merged

Header Generation Benchmark in CI #251

merged 61 commits into from
Nov 4, 2023

Commits on Oct 3, 2023

  1. Configuration menu
    Copy the full SHA
    8b5b6fc View commit details
    Browse the repository at this point in the history
  2. Configuration menu
    Copy the full SHA
    1c66d0d View commit details
    Browse the repository at this point in the history
  3. Code format

    fmiguelgarcia committed Oct 3, 2023
    Configuration menu
    Copy the full SHA
    a5bbe81 View commit details
    Browse the repository at this point in the history
  4. Configuration menu
    Copy the full SHA
    736d1bc View commit details
    Browse the repository at this point in the history
  5. Configuration menu
    Copy the full SHA
    b4fd6e4 View commit details
    Browse the repository at this point in the history
  6. Configuration menu
    Copy the full SHA
    0f357d5 View commit details
    Browse the repository at this point in the history
  7. Fix github workflow

    fmiguelgarcia committed Oct 3, 2023
    Configuration menu
    Copy the full SHA
    381697e View commit details
    Browse the repository at this point in the history

Commits on Oct 5, 2023

  1. Configuration menu
    Copy the full SHA
    a1271a0 View commit details
    Browse the repository at this point in the history
  2. Configuration menu
    Copy the full SHA
    1ddcaf0 View commit details
    Browse the repository at this point in the history
  3. Configuration menu
    Copy the full SHA
    cbb62ae View commit details
    Browse the repository at this point in the history
  4. More logs in CI

    fmiguelgarcia committed Oct 5, 2023
    Configuration menu
    Copy the full SHA
    d5bef03 View commit details
    Browse the repository at this point in the history
  5. More logs in CI

    fmiguelgarcia committed Oct 5, 2023
    Configuration menu
    Copy the full SHA
    94df2d5 View commit details
    Browse the repository at this point in the history
  6. More logs in CI

    fmiguelgarcia committed Oct 5, 2023
    Configuration menu
    Copy the full SHA
    a6a49e5 View commit details
    Browse the repository at this point in the history

Commits on Oct 9, 2023

  1. More logs in CI

    fmiguelgarcia committed Oct 9, 2023
    Configuration menu
    Copy the full SHA
    cc969cd View commit details
    Browse the repository at this point in the history
  2. Configuration menu
    Copy the full SHA
    727fc27 View commit details
    Browse the repository at this point in the history
  3. Configuration menu
    Copy the full SHA
    a15a3cf View commit details
    Browse the repository at this point in the history

Commits on Oct 10, 2023

  1. Add benchmark to CI

    fmiguelgarcia committed Oct 10, 2023
    Configuration menu
    Copy the full SHA
    1ae2436 View commit details
    Browse the repository at this point in the history
  2. Configuration menu
    Copy the full SHA
    8104f1d View commit details
    Browse the repository at this point in the history
  3. Configuration menu
    Copy the full SHA
    ea8476a View commit details
    Browse the repository at this point in the history
  4. Configuration menu
    Copy the full SHA
    2dc5a39 View commit details
    Browse the repository at this point in the history
  5. Configuration menu
    Copy the full SHA
    4c645aa View commit details
    Browse the repository at this point in the history
  6. CI Benchs: Missing deps

    fmiguelgarcia committed Oct 10, 2023
    Configuration menu
    Copy the full SHA
    6e47af8 View commit details
    Browse the repository at this point in the history
  7. CI Benchs: log caches

    fmiguelgarcia committed Oct 10, 2023
    Configuration menu
    Copy the full SHA
    3c00c42 View commit details
    Browse the repository at this point in the history
  8. 3 Configuration menu
    Copy the full SHA
    936e272 View commit details
    Browse the repository at this point in the history

Commits on Oct 17, 2023

  1. Configuration menu
    Copy the full SHA
    d61672a View commit details
    Browse the repository at this point in the history
  2. Configuration menu
    Copy the full SHA
    83e5b60 View commit details
    Browse the repository at this point in the history
  3. Configuration menu
    Copy the full SHA
    f48733a View commit details
    Browse the repository at this point in the history
  4. Configuration menu
    Copy the full SHA
    fe91b50 View commit details
    Browse the repository at this point in the history

Commits on Oct 23, 2023

  1. Configuration menu
    Copy the full SHA
    5a18054 View commit details
    Browse the repository at this point in the history
  2. Configuration menu
    Copy the full SHA
    c9aa67f View commit details
    Browse the repository at this point in the history
  3. Configuration menu
    Copy the full SHA
    d648ea9 View commit details
    Browse the repository at this point in the history
  4. Configuration menu
    Copy the full SHA
    7c7eca3 View commit details
    Browse the repository at this point in the history
  5. Configuration menu
    Copy the full SHA
    e31411c View commit details
    Browse the repository at this point in the history
  6. Configuration menu
    Copy the full SHA
    7402103 View commit details
    Browse the repository at this point in the history
  7. Configuration menu
    Copy the full SHA
    b9a90ff View commit details
    Browse the repository at this point in the history
  8. CI Benchs: syntax fix

    fmiguelgarcia committed Oct 23, 2023
    Configuration menu
    Copy the full SHA
    0fe0b01 View commit details
    Browse the repository at this point in the history
  9. Configuration menu
    Copy the full SHA
    66ac751 View commit details
    Browse the repository at this point in the history
  10. Configuration menu
    Copy the full SHA
    59e2888 View commit details
    Browse the repository at this point in the history
  11. Configuration menu
    Copy the full SHA
    465f0b1 View commit details
    Browse the repository at this point in the history
  12. Configuration menu
    Copy the full SHA
    bd3a0d4 View commit details
    Browse the repository at this point in the history
  13. Configuration menu
    Copy the full SHA
    be719cb View commit details
    Browse the repository at this point in the history
  14. Configuration menu
    Copy the full SHA
    c3fded8 View commit details
    Browse the repository at this point in the history
  15. Configuration menu
    Copy the full SHA
    9a45e5e View commit details
    Browse the repository at this point in the history
  16. Configuration menu
    Copy the full SHA
    5517f49 View commit details
    Browse the repository at this point in the history
  17. Configuration menu
    Copy the full SHA
    bd05b00 View commit details
    Browse the repository at this point in the history
  18. Configuration menu
    Copy the full SHA
    d5e85c3 View commit details
    Browse the repository at this point in the history

Commits on Oct 24, 2023

  1. 2 Configuration menu
    Copy the full SHA
    8c80d44 View commit details
    Browse the repository at this point in the history
  2. 2 Configuration menu
    Copy the full SHA
    632d8f9 View commit details
    Browse the repository at this point in the history
  3. 2 Configuration menu
    Copy the full SHA
    2e37fcf View commit details
    Browse the repository at this point in the history

Commits on Oct 25, 2023

  1. Configuration menu
    Copy the full SHA
    39e4baa View commit details
    Browse the repository at this point in the history
  2. 2 Configuration menu
    Copy the full SHA
    c873699 View commit details
    Browse the repository at this point in the history

Commits on Oct 31, 2023

  1. Configuration menu
    Copy the full SHA
    84fe422 View commit details
    Browse the repository at this point in the history
  2. Configuration menu
    Copy the full SHA
    4c86040 View commit details
    Browse the repository at this point in the history
  3. 3 Configuration menu
    Copy the full SHA
    c88616a View commit details
    Browse the repository at this point in the history
  4. 3 Configuration menu
    Copy the full SHA
    9630426 View commit details
    Browse the repository at this point in the history

Commits on Nov 2, 2023

  1. 2 Configuration menu
    Copy the full SHA
    21eee53 View commit details
    Browse the repository at this point in the history

Commits on Nov 4, 2023

  1. Configuration menu
    Copy the full SHA
    716d63c View commit details
    Browse the repository at this point in the history
  2. Configuration menu
    Copy the full SHA
    72be952 View commit details
    Browse the repository at this point in the history
  3. Configuration menu
    Copy the full SHA
    fe9720a View commit details
    Browse the repository at this point in the history
  4. 2 Configuration menu
    Copy the full SHA
    7657a2f View commit details
    Browse the repository at this point in the history
  5. 2 Configuration menu
    Copy the full SHA
    a10cfff View commit details
    Browse the repository at this point in the history