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

added build workflow #43

Merged
merged 3 commits into from
Jun 10, 2024
Merged

added build workflow #43

merged 3 commits into from
Jun 10, 2024

Conversation

dhruv-singhal-github
Copy link
Collaborator

Summary:

Explain the purpose and need for this change briefly.

Checklist

Put an x in the boxes that apply. You can also fill these out after creating the PR. If you're unsure about any of them, don't hesitate to ask. This is simply a reminder of what we are going to look for before merging your code.

  • I have added tests that verify my changes
  • Unit tests pass locally with my changes
  • I have added documentation as necessary
  • No Javadoc warnings were introduced with my changes
  • I have interactively tested my changes

Types of changes

What types of changes does your code introduce? Put an x in the boxes that apply

  • Infrastructure change (non-breaking change which updates dependencies or improves infrastructure)
  • Bug fix (non-breaking change which fixes an issue)
  • New feature (non-breaking change which adds functionality)
  • Breaking change (fix or feature that would cause existing functionality to not work as expected)

Dependencies:

List any external dependencies related to this change.

Additional Notes:

Include any other relevant information or screenshots if applicable.

@github-actions github-actions bot added documentation Improvements or additions to documentation skip-changelog tests labels Jun 10, 2024
@dhruv-singhal-github dhruv-singhal-github merged commit a910467 into main Jun 10, 2024
2 checks passed
@dhruv-singhal-github dhruv-singhal-github deleted the github-workflows branch June 10, 2024 20:17
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
documentation Improvements or additions to documentation skip-changelog tests
Projects
None yet
Development

Successfully merging this pull request may close these issues.

1 participant