Better V Integration #81
No reviewers
Labels
No Label
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 Milestone
No project
No Assignees
1 Participants
Notifications
Due Date
No due date set.
Dependencies
No dependencies set.
Reference: vieter-v/vieter#81
Loading…
Reference in New Issue
There is no content yet.
Delete Branch "better-v-integration"
Deleting a branch is permanent. Although the deleted branch may exist for a short time before cleaning up, in most cases it CANNOT be undone. 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