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

Upload results to results branch #152

Merged
merged 22 commits into from
Jul 29, 2024
Merged

Upload results to results branch #152

merged 22 commits into from
Jul 29, 2024

Commits on Jul 11, 2024

  1. first setup

    @paulzierep
    paulzierep committed Jul 11, 2024
    Configuration menu
    Copy the full SHA
    81fbf6e View commit details
    Browse the repository at this point in the history

  2. fetch results branch in CI

    @paulzierep
    paulzierep committed Jul 11, 2024
    Configuration menu
    Copy the full SHA
    418544b View commit details
    Browse the repository at this point in the history

  3. move available servers to results

    @paulzierep
    paulzierep committed Jul 11, 2024
    Configuration menu
    Copy the full SHA
    e64db16 View commit details
    Browse the repository at this point in the history

  4. use checkout twice and sparse checkout

    @paulzierep
    paulzierep committed Jul 11, 2024
    Configuration menu
    Copy the full SHA
    8ff203f View commit details
    Browse the repository at this point in the history

Commits on Jul 15, 2024

  1. checkout results from results branch into results folder in main branch

    @paulzierep
    paulzierep committed Jul 15, 2024
    Configuration menu
    Copy the full SHA
    fa7d212 View commit details
    Browse the repository at this point in the history

Commits on Jul 18, 2024

  1. remove results from main

    @paulzierep
    paulzierep committed Jul 18, 2024
    Configuration menu
    Copy the full SHA
    0e6ec4d View commit details
    Browse the repository at this point in the history

  2. Merge remote-tracking branch 'remotes/origin/deploy-results-to-differ… 

    …ent-branch'
    @paulzierep
    paulzierep committed Jul 18, 2024
    Configuration menu
    Copy the full SHA
    2008d84 View commit details
    Browse the repository at this point in the history

  3. rm servers

    @paulzierep
    paulzierep committed Jul 18, 2024
    Configuration menu
    Copy the full SHA
    292e35a View commit details
    Browse the repository at this point in the history

  4. fix filter

    @paulzierep
    paulzierep committed Jul 18, 2024
    Configuration menu
    Copy the full SHA
    f7a8b3b View commit details
    Browse the repository at this point in the history

  5. fix filter

    @paulzierep
    paulzierep committed Jul 18, 2024
    Configuration menu
    Copy the full SHA
    e0cd496 View commit details
    Browse the repository at this point in the history

  6. fix filter

    @paulzierep
    paulzierep committed Jul 18, 2024
    Configuration menu
    Copy the full SHA
    3096f46 View commit details
    Browse the repository at this point in the history

  7. fix tool filter

    @paulzierep
    paulzierep committed Jul 18, 2024
    Configuration menu
    Copy the full SHA
    68f8311 View commit details
    Browse the repository at this point in the history

  8. fetch results for all CIs

    @paulzierep
    paulzierep committed Jul 18, 2024
    Configuration menu
    Copy the full SHA
    08b1ba1 View commit details
    Browse the repository at this point in the history

  9. rm results

    @paulzierep
    paulzierep committed Jul 18, 2024
    Configuration menu
    Copy the full SHA
    5f8f62a View commit details
    Browse the repository at this point in the history

  10. Merge branch 'main' into deploy-results-to-different-branch

    @paulzierep
    paulzierep committed Jul 18, 2024
    Configuration menu
    Copy the full SHA
    a7d8855 View commit details
    Browse the repository at this point in the history

  11. only run one fetch tool job (otherwise we cannot push to results)

    @paulzierep
    paulzierep committed Jul 18, 2024
    Configuration menu
    Copy the full SHA
    795ec84 View commit details
    Browse the repository at this point in the history

  12. only run one fetch tool job (otherwise we cannot push to results)

    @paulzierep
    paulzierep committed Jul 18, 2024
    Configuration menu
    Copy the full SHA
    7656abe View commit details
    Browse the repository at this point in the history

Commits on Jul 25, 2024

  1. fix python in readme

    @paulzierep
    paulzierep committed Jul 25, 2024
    Configuration menu
    Copy the full SHA
    017935e View commit details
    Browse the repository at this point in the history

  2. fix bash comparison

    @paulzierep
    paulzierep committed Jul 25, 2024
    Configuration menu
    Copy the full SHA
    3d47a94 View commit details
    Browse the repository at this point in the history

  3. move fetch all servers script to other CI

    @paulzierep
    paulzierep committed Jul 25, 2024
    Configuration menu
    Copy the full SHA
    bed776f View commit details
    Browse the repository at this point in the history

  4. proper CI names and commit messages

    @paulzierep
    paulzierep committed Jul 25, 2024
    Configuration menu
    Copy the full SHA
    27b0e99 View commit details
    Browse the repository at this point in the history

  5. allow PR to access secret

    @paulzierep
    paulzierep committed Jul 25, 2024
    Configuration menu
    Copy the full SHA
    e45e087 View commit details
    Browse the repository at this point in the history