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: Fix default stub generation #818

Merged

theofidry merged 2 commits into box-project:main from theofidry:chore/default-stub

Jan 17, 2023

Member

theofidry commented Jan 17, 2023

Move the generated stub to the dist directory
Fix the Makefile target which was making the stub a PHONY target (it is not)

theofidry added 2 commits

January 17, 2023 09:08


          chore: Fix default stub generation


          fix path

d77cce7

theofidry enabled auto-merge (squash)

January 17, 2023 08:12

theofidry disabled auto-merge

January 17, 2023 08:13

theofidry merged commit 62dd273 into box-project:main

theofidry deleted the chore/default-stub branch

January 17, 2023 08:14

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

Labels

None yet