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

Use pak instead of devtools #180

Merged
merged 1 commit into from
Jan 7, 2025
Merged

Use pak instead of devtools #180

merged 1 commit into from
Jan 7, 2025

Conversation

maelle
Copy link
Collaborator

@maelle maelle commented Jan 7, 2025

Copy link

welcome bot commented Jan 7, 2025

🎉 Thanks for opening your first pull request in this repo! Please check our contribution guidelines and follow the PR template.

@maelle maelle mentioned this pull request Jan 7, 2025
29 tasks
@github-actions github-actions bot added the documentation Improvements or additions to documentation label Jan 7, 2025
Copy link

codecov bot commented Jan 7, 2025

Codecov Report

All modified and coverable lines are covered by tests ✅

@RayStick RayStick merged commit 13fb56e into aim-rsf:main Jan 7, 2025
10 checks passed
Copy link

welcome bot commented Jan 7, 2025

🎉 Congrats on merging your first pull request in this repo! We appreciate your contribution!

@BatoolMM
Copy link
Member

@all-contributors add @maelle for ideas

Copy link
Contributor

@BatoolMM

I've put up a pull request to add @maelle! 🎉

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
documentation Improvements or additions to documentation
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants