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

Port ci from travis to github actions #352

Merged
merged 15 commits into from
Jul 26, 2023

Commits on Jul 11, 2023

  1. Configuration menu
    Copy the full SHA
    25035ab View commit details
    Browse the repository at this point in the history
  2. Configuration menu
    Copy the full SHA
    704e649 View commit details
    Browse the repository at this point in the history
  3. Configuration menu
    Copy the full SHA
    4256940 View commit details
    Browse the repository at this point in the history
  4. Configuration menu
    Copy the full SHA
    aaf584c View commit details
    Browse the repository at this point in the history
  5. Skip examples

    jhorstmann committed Jul 11, 2023
    Configuration menu
    Copy the full SHA
    ceecf66 View commit details
    Browse the repository at this point in the history
  6. Configuration menu
    Copy the full SHA
    b7ef46d View commit details
    Browse the repository at this point in the history
  7. Configuration menu
    Copy the full SHA
    30b2f18 View commit details
    Browse the repository at this point in the history
  8. Configuration menu
    Copy the full SHA
    aa96360 View commit details
    Browse the repository at this point in the history
  9. Add timeout to job

    jhorstmann committed Jul 11, 2023
    Configuration menu
    Copy the full SHA
    862c2ec View commit details
    Browse the repository at this point in the history
  10. Configuration menu
    Copy the full SHA
    8ef0850 View commit details
    Browse the repository at this point in the history
  11. Configuration menu
    Copy the full SHA
    b0ccf65 View commit details
    Browse the repository at this point in the history
  12. Configuration menu
    Copy the full SHA
    78b8a42 View commit details
    Browse the repository at this point in the history

Commits on Jul 26, 2023

  1. Configuration menu
    Copy the full SHA
    2cd3eeb View commit details
    Browse the repository at this point in the history
  2. Remove trailing empty line

    Co-authored-by: Jubilee <[email protected]>
    jhorstmann and workingjubilee authored Jul 26, 2023
    Configuration menu
    Copy the full SHA
    83f73be View commit details
    Browse the repository at this point in the history
  3. Remove trailing empty line

    Co-authored-by: Jubilee <[email protected]>
    jhorstmann and workingjubilee authored Jul 26, 2023
    Configuration menu
    Copy the full SHA
    bfb6c7f View commit details
    Browse the repository at this point in the history