Skip to content

fix: metrics exporter redis not found#640

Merged
guilhem-barthes merged 3 commits into
mainfrom
fix/metrics-exporter-redis-not-found
May 10, 2023
Merged

fix: metrics exporter redis not found#640
guilhem-barthes merged 3 commits into
mainfrom
fix/metrics-exporter-redis-not-found

Conversation

@guilhem-barthes
Copy link
Copy Markdown
Contributor

@guilhem-barthes guilhem-barthes commented Apr 25, 2023

Description

Add redis in metrics_exporter dependencies to fix server.metrics

How has this been tested?

Checklist

  • changelog was updated with notable changes
  • documentation was updated

Signed-off-by: Guilhem Barthes <guilhem.barthes@owkin.com>
Signed-off-by: Guilhem Barthes <guilhem.barthes@owkin.com>
@guilhem-barthes guilhem-barthes marked this pull request as ready for review May 9, 2023 10:09
@guilhem-barthes guilhem-barthes requested a review from a team as a code owner May 9, 2023 10:09
Signed-off-by: Guilhem Barthes <guilhem.barthes@owkin.com>
@guilhem-barthes
Copy link
Copy Markdown
Contributor Author

/e2e

Copy link
Copy Markdown
Contributor

@SdgJlbl SdgJlbl left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Thanks 👍

@guilhem-barthes guilhem-barthes merged commit 597cb88 into main May 10, 2023
@guilhem-barthes guilhem-barthes deleted the fix/metrics-exporter-redis-not-found branch May 10, 2023 12:38
@guilhem-barthes
Copy link
Copy Markdown
Contributor Author

/e2e

@Owlfred
Copy link
Copy Markdown

Owlfred commented May 10, 2023

End to end tests: ❌ FAILURE

Jobs status:

  • Tests Benchmark: ⏭️
  • Tests Distributed:
  • Tests Standalone:

“It’s just a flesh wound.” ― The Black Knight, Monty Python and the Holy Grail

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants