Better V Integration #81
No reviewers
Labels
No labels
Roadmap
V
bug
docs
duplicate
enhancement
good first issue
help wanted
idea
invalid
question
wontfix
Idea
Roadmap
bug
duplicate
enhancement
help wanted
invalid
question
wontfix
No project
No assignees
1 participant
Due date
No due date set.
Dependencies
No dependencies set.
Reference: vieter-v/vieter#81
Loading…
Add table
Add a link
Reference in a new issue
No description provided.
Delete branch "better-v-integration"
Deleting a branch is permanent. Although the deleted branch may continue to exist for a short time before it actually gets removed, it CANNOT be undone in most cases. Continue?
This PR switches the CI & Makefile to using my personal V fork for this project. This makes the patches system obsolete, as these can be implemented in the builder repository itself. This change allows us to more closely follow V development when needed.
Closes #75