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

Miscellaneous bug fixes/enhancements #7054

Merged
merged 7 commits into from
Nov 23, 2023
Merged

Miscellaneous bug fixes/enhancements #7054

merged 7 commits into from
Nov 23, 2023

Conversation

pranavxc
Copy link
Member

@pranavxc pranavxc commented Nov 22, 2023

Change Summary

Change type

  • feat: (new feature for the user, not a new feature for build script)
  • fix: (bug fix for the user, not a fix to a build script)
  • docs: (changes to the documentation)
  • style: (formatting, missing semi colons, etc; no production code change)
  • refactor: (refactoring production code, eg. renaming a variable)
  • test: (adding missing tests, refactoring tests; no production code change)
  • chore: (updating grunt tasks etc; no production code change)

Test/ Verification

Provide summary of changes.

Additional information / screenshots (optional)

Anything for maintainers to be made aware of

@pranavxc pranavxc added the trigger-CI force trigger CI even if PR in draft mode label Nov 22, 2023
@pranavxc pranavxc marked this pull request as ready for review November 22, 2023 06:58
@pranavxc pranavxc added the 🛑 Status: Do Not Merge Used in PR only. The PR cannot be merged due to some reasons. label Nov 22, 2023
Copy link
Contributor

github-actions bot commented Nov 22, 2023

Uffizzi Preview deployment-41266 was deleted.

@dstala
Copy link
Member

dstala commented Nov 23, 2023

Screenshot 2023-11-23 at 2 51 49 PM

@dstala dstala merged commit 1f61a15 into develop Nov 23, 2023
19 of 20 checks passed
@dstala dstala deleted the fix/misc-oss branch November 23, 2023 09:55
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
🛑 Status: Do Not Merge Used in PR only. The PR cannot be merged due to some reasons. trigger-CI force trigger CI even if PR in draft mode
Projects
None yet
2 participants