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

CI: validate JSON & fix benchmark #8567

Merged
merged 8 commits into from
Jul 28, 2021
Merged

CI: validate JSON & fix benchmark #8567

merged 8 commits into from
Jul 28, 2021

Commits on Jul 26, 2021

  1. CI: validate JSON

    Borda committed Jul 26, 2021
    Configuration menu
    Copy the full SHA
    c6e0f01 View commit details
    Browse the repository at this point in the history

Commits on Jul 27, 2021

  1. as GHA

    Borda committed Jul 27, 2021
    Configuration menu
    Copy the full SHA
    7652082 View commit details
    Browse the repository at this point in the history
  2. PT1.8

    Co-authored-by: Carlos Mocholí <carlossmocholi@gmail.com>
    Borda and carmocca committed Jul 27, 2021
    Configuration menu
    Copy the full SHA
    bab8988 View commit details
    Browse the repository at this point in the history
  3. fixing

    Borda committed Jul 27, 2021
    Configuration menu
    Copy the full SHA
    ac0db24 View commit details
    Browse the repository at this point in the history
  4. Configuration menu
    Copy the full SHA
    bb20998 View commit details
    Browse the repository at this point in the history
  5. fix

    Borda committed Jul 27, 2021
    Configuration menu
    Copy the full SHA
    63f3bbf View commit details
    Browse the repository at this point in the history
  6. 32g

    Borda committed Jul 27, 2021
    Configuration menu
    Copy the full SHA
    29014a8 View commit details
    Browse the repository at this point in the history

Commits on Jul 28, 2021

  1. skip

    Borda committed Jul 28, 2021
    Configuration menu
    Copy the full SHA
    8ccb0e4 View commit details
    Browse the repository at this point in the history