Skip to content

build: update dependency file whenever the generator script or the Makefile changes#973

Merged
VincentVanlaer merged 1 commit intomainfrom
depend-depend-on-gen-and-makefile
May 4, 2026
Merged

build: update dependency file whenever the generator script or the Makefile changes#973
VincentVanlaer merged 1 commit intomainfrom
depend-depend-on-gen-and-makefile

Conversation

@VincentVanlaer
Copy link
Copy Markdown
Member

No description provided.

@VincentVanlaer VincentVanlaer force-pushed the depend-depend-on-gen-and-makefile branch from f8f3caa to 7ebf067 Compare April 21, 2026 10:54
@VincentVanlaer VincentVanlaer changed the title Depend depend on gen and makefile build: update dependency file whenever the generator script or the Makefile changes Apr 21, 2026
@Debraheem
Copy link
Copy Markdown
Member

Want to merge this?

@VincentVanlaer VincentVanlaer merged commit bfadb25 into main May 4, 2026
5 checks passed
@VincentVanlaer VincentVanlaer deleted the depend-depend-on-gen-and-makefile branch May 4, 2026 19:57
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants