Skip to content

Add more metrics 3.2#94

Merged
sandragjacinto merged 2 commits intomainfrom
add-more-metrics-3.2
Mar 18, 2026
Merged

Add more metrics 3.2#94
sandragjacinto merged 2 commits intomainfrom
add-more-metrics-3.2

Conversation

@sandragjacinto
Copy link
Copy Markdown
Collaborator

@sandragjacinto sandragjacinto commented Feb 26, 2026

Description

Why?

How?

Screenshots (if appropriate):

Types of changes

  • 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)

Checklist:

  • My code follows the code style of this project.
  • My code is tested.
  • I have updated the documentation accordingly.

@sandragjacinto
feat(auth): makes sure correct session info is registered each time (#93
7f0c877 
)

* feat(auth): makes sure correct session info is registered each time

* user id is now really passed
@sandragjacinto
feat(metric): add metrics for search and tutor
bcb42fa
@sandragjacinto sandragjacinto merged commit 81b073c into main Mar 18, 2026
3 checks passed
@sandragjacinto sandragjacinto deleted the add-more-metrics-3.2 branch March 18, 2026 10:15
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

None yet

Projects

None yet

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

1 participant

@sandragjacinto