chore: add devspace #9

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

Open

thomasgouveia wants to merge 1 commit into main from add-devspace

Member

thomasgouveia commented Jan 18, 2023

Closes #

📑 Description

✅ Checks

My pull request adheres to the code style of this project
My code is documented
I provided unitary tests or procedure to test my code
My PR have a clear description of what my code is supposed to do

ℹ Additional Information

jlabatut added action: review semver: patch priority: medium type: chore labels

Member

jlabatut commented Jan 18, 2023

please fix ci (pnpm)


          chore: add devspace

4cd2d49

thomasgouveia force-pushed the add-devspace branch from 2ea5dff to 4cd2d49 Compare

January 24, 2023 12:37

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

action: review priority: medium semver: patch type: chore