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’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

fix: PRT - Rename leftovers of "portal" to "consumer" #1820

Merged
merged 2 commits into from
Dec 3, 2024
Merged

fix: PRT - Rename leftovers of "portal" to "consumer" #1820

merged 2 commits into from
Dec 3, 2024

Conversation

shleikes
Copy link
Collaborator

@shleikes shleikes commented Dec 3, 2024

No description provided.

@shleikes shleikes self-assigned this Dec 3, 2024
@github-actions GitHub Actions
Copy link

github-actions bot commented Dec 3, 2024

Test Results

2 340 tests  ±0   2 340 ✅ ±0   27m 4s ⏱️ -10s
  145 suites ±0       0 💤 ±0 
    7 files   ±0       0 ❌ ±0 

Results for commit 02ae53a. ± Comparison against base commit 70bfa01.

@ranlavanet ranlavanet merged commit 064945d into main Dec 3, 2024
29 checks passed
@ranlavanet ranlavanet deleted the PRT-rename-portal-to-consumer branch December 3, 2024 11:30
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@ranlavanet ranlavanet ranlavanet approved these changes

Assignees

@shleikes shleikes

Labels
C:protocol size/S Team:Protocol Type: Build
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
2 participants
@shleikes @ranlavanet