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

Add gersemi 0.15.0 #10

Closed
wants to merge 2 commits into from
Closed

Add gersemi 0.15.0 #10

wants to merge 2 commits into from

Conversation

PatTheMav
Copy link
Member

Description

Adds gersemi 0.15.0 as a Homebrew formula to use by obsproject CI actions.

Motivation and Context

Update CMake formatting tool.

Types of changes

  • New feature (non-breaking change which adds functionality)

Checklist:

  • My code has been run through clang-format.
  • I have read the contributing document.
  • My code is not on the master branch.
  • The code has been tested.
  • All commit messages are properly formatted and commits squashed where appropriate.
  • I have included updates to all appropriate documentation.

@PatTheMav PatTheMav force-pushed the gersemi branch 2 times, most recently from 3a76baf to df5d16e Compare August 11, 2024 12:28
@PatTheMav PatTheMav added the pr-pull Trigger automatic merge and release label Aug 11, 2024
@PatTheMav PatTheMav added pr-pull Trigger automatic merge and release and removed pr-pull Trigger automatic merge and release labels Aug 11, 2024
@github-actions github-actions bot closed this in 7adfe50 Aug 11, 2024
@github-actions github-actions bot deleted the gersemi branch August 11, 2024 13:11
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
pr-pull Trigger automatic merge and release
Projects
None yet
Development

Successfully merging this pull request may close these issues.

1 participant