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鈥檒l occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Test pr 2099 #2137

Closed
wants to merge 2 commits into from
Closed

Test pr 2099 #2137

wants to merge 2 commits into from

Conversation

parthea
Copy link
Contributor

@parthea parthea commented May 24, 2023

Thank you for opening a Pull Request! Before submitting your PR, there are a few things you can do to make sure it goes smoothly:

  • Make sure to open an issue as a bug/issue before writing your code! That way we can discuss the change, evaluate designs, and agree on the general idea
  • Ensure the tests and linter pass
  • Code coverage does not decrease (if any source code was changed)
  • Appropriate docs were updated (if necessary)

Fixes #<issue_number_goes_here> 馃

jorenham and others added 2 commits May 24, 2023 19:36
@jorenham @parthea
fix: Removed indent from discovery cache json files
da08f8f 
Changed the discovery artifact JSON indentation from 2 to 0, in
order to reduce the size by several megabytes.

Refs: #1967
@parthea
for testing purposes
1c43b76
@product-auto-label product-auto-label bot added the size: xs Pull request size is extra small. label May 24, 2023
@parthea parthea closed this Jun 20, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers
No reviews
Assignees
No one assigned
Labels
size: xs Pull request size is extra small.
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.

None yet
2 participants
@parthea @jorenham