Skip to content
New issue

Have a question about this project? # for a free GitHub account to open an issue and contact its maintainers and the community.

#

By clicking “#”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? # to your account

Jump to bottom

Add additional branch triggers #30

Merged
merged 3 commits into from
Jun 22, 2023
Merged

Add additional branch triggers #30

merged 3 commits into from
Jun 22, 2023

Commits on May 26, 2023

  1. Add additional branch triggers

    @gclendenning
    gclendenning committed May 26, 2023
    Configuration menu
    Copy the full SHA
    b021102 View commit details
    Browse the repository at this point in the history

Commits on Jun 7, 2023

  1. Fix coverage argument

    @gclendenning
    gclendenning committed Jun 7, 2023
    Configuration menu
    Copy the full SHA
    df1b34d View commit details
    Browse the repository at this point in the history

Commits on Jun 16, 2023

  1. Ensure all tests pass before release

    @gclendenning
    gclendenning committed Jun 16, 2023
    Configuration menu
    Copy the full SHA
    769a89c View commit details
    Browse the repository at this point in the history