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

[CI] Add jazzy and other minor updates #1521

Merged
merged 12 commits into from
May 8, 2024
Merged

[CI] Add jazzy and other minor updates #1521

merged 12 commits into from
May 8, 2024

Commits on Apr 29, 2024

  1. Add file type filters to workflows

    @christophfroehlich
    christophfroehlich committed Apr 29, 2024
    Configuration menu
    Copy the full SHA
    85b9aff View commit details
    Browse the repository at this point in the history

  2. Add jazzy jobs and update readmes

    @christophfroehlich
    christophfroehlich committed Apr 29, 2024
    Configuration menu
    Copy the full SHA
    ac59bad View commit details
    Browse the repository at this point in the history

  3. Checkout correct branch for docs

    @christophfroehlich
    christophfroehlich committed Apr 29, 2024
    Configuration menu
    Copy the full SHA
    19b6069 View commit details
    Browse the repository at this point in the history

  4. Check jazzy docs on master branch

    @christophfroehlich
    christophfroehlich committed Apr 29, 2024
    Configuration menu
    Copy the full SHA
    e3d3978 View commit details
    Browse the repository at this point in the history

  5. Add yaml, package.xml and CMakeLists to paths filters

    @christophfroehlich
    christophfroehlich committed Apr 29, 2024
    Configuration menu
    Copy the full SHA
    3c57863 View commit details
    Browse the repository at this point in the history

  6. Add codecov.yml to filters

    @christophfroehlich
    christophfroehlich committed Apr 29, 2024
    Configuration menu
    Copy the full SHA
    200fe86 View commit details
    Browse the repository at this point in the history

  7. Deactivate jazzy - coverage build

    @christophfroehlich
    christophfroehlich committed Apr 29, 2024
    Configuration menu
    Copy the full SHA
    cd87c14 View commit details
    Browse the repository at this point in the history

  8. Specify workflow names

    @christophfroehlich
    christophfroehlich committed Apr 29, 2024
    Configuration menu
    Copy the full SHA
    1e01f25 View commit details
    Browse the repository at this point in the history

Commits on May 7, 2024

  1. Merge branch 'master' into ci_jazzy

    @bmagyar
    bmagyar authored May 7, 2024
    Configuration menu
    Copy the full SHA
    880deb5 View commit details
    Browse the repository at this point in the history

  2. Update upstream pre-commit wf

    @christophfroehlich
    christophfroehlich committed May 7, 2024
    Configuration menu
    Copy the full SHA
    ac3604b View commit details
    Browse the repository at this point in the history

Commits on May 8, 2024

  1. Add more files to path filters

    @christophfroehlich
    christophfroehlich committed May 8, 2024
    Configuration menu
    Copy the full SHA
    c20bfb2 View commit details
    Browse the repository at this point in the history

  2. Update coverage build inputs

    @christophfroehlich
    christophfroehlich committed May 8, 2024
    Configuration menu
    Copy the full SHA
    e53071f View commit details
    Browse the repository at this point in the history