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

feat(#961): include sidebar metrics animation #1408

Merged
merged 22 commits into from Apr 29, 2022

Conversation

leiyre
Copy link
Member

@leiyre leiyre commented Apr 12, 2022

see #961

@leiyre leiyre requested a review from frascuchon April 12, 2022 13:01
@leiyre leiyre changed the title feat(#961): include sidebar metrics animation WIP feat(#961): include sidebar metrics animation Apr 12, 2022
@frascuchon frascuchon assigned frascuchon and leiyre and unassigned frascuchon Apr 19, 2022
@frascuchon frascuchon linked an issue Apr 19, 2022 that may be closed by this pull request
@leiyre leiyre changed the title WIP feat(#961): include sidebar metrics animation feat(#961): include sidebar metrics animation Apr 19, 2022
@leiyre leiyre requested a review from frascuchon April 28, 2022 09:33
@frascuchon frascuchon merged commit a775889 into master Apr 29, 2022
@frascuchon frascuchon deleted the feat/sidebar_metrics_animation branch April 29, 2022 11:52
frascuchon pushed a commit that referenced this pull request May 4, 2022
(cherry picked from commit a26a910)

- include sidebar metrics animation (#1408)
(cherry picked from commit a775889)
frascuchon pushed a commit that referenced this pull request May 10, 2022
(cherry picked from commit a26a910)

- include sidebar metrics animation (#1408)
(cherry picked from commit a775889)
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.

[Weak supervision] Rules numbers by label
2 participants