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

chore: update panda #4791

Merged
merged 1 commit into from
Jan 10, 2024
Merged

chore: update panda #4791

merged 1 commit into from
Jan 10, 2024

Conversation

pete-watters
Copy link
Contributor

@pete-watters pete-watters commented Jan 10, 2024 •
edited by github-actions bot
Loading

Try out this version of Leather — Extension build, Test report

This PR updates panda to try and resolve issues we are having with slower builds

@pete-watters pete-watters marked this pull request as ready for review January 10, 2024 06:36
@pete-watters pete-watters added this pull request to the merge queue Jan 10, 2024
Merged via the queue into dev with commit 2418a1c Jan 10, 2024
29 checks passed
@pete-watters pete-watters deleted the chore/update-panda branch January 10, 2024 15:43
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@fbwoolf fbwoolf fbwoolf approved these changes

@kyranjamie kyranjamie Awaiting requested review from kyranjamie

@edgarkhanzadian edgarkhanzadian Awaiting requested review from edgarkhanzadian

@alter-eggo alter-eggo Awaiting requested review from alter-eggo

Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
2 participants
@pete-watters @fbwoolf