Better V Integration #81

Merged
Jef Roosens merged 3 commits from better-v-integration into dev 2022-02-19 15:45:31 +01:00

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

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
Jef Roosens added this to the 0.2.0 milestone 2022-02-19 15:38:10 +01:00
Jef Roosens added 2 commits 2022-02-19 15:38:10 +01:00
ci/woodpecker/push/deploy unknown status Details
ci/woodpecker/push/docker unknown status Details
ci/woodpecker/push/lint Pipeline failed Details
ci/woodpecker/push/build Pipeline was successful Details
07bd0beb58
Removed builder & patches code; updated README
ci/woodpecker/push/deploy unknown status Details
ci/woodpecker/push/docker unknown status Details
ci/woodpecker/push/lint Pipeline was successful Details
ci/woodpecker/push/build Pipeline failed Details
3b3a2f4fc1
Fixed linting errors
Jef Roosens added 1 commit 2022-02-19 15:38:45 +01:00
ci/woodpecker/push/deploy unknown status Details
ci/woodpecker/push/docker unknown status Details
ci/woodpecker/push/lint Pipeline was successful Details
ci/woodpecker/push/build Pipeline was successful Details
34ccd9a6ef
Merge branch 'dev' into better-v-integration
Jef Roosens merged commit 96c0ac3d59 into dev 2022-02-19 15:45:31 +01:00
Jef Roosens deleted branch better-v-integration 2022-02-19 15:45:31 +01:00
Sign in to join this conversation.
There is no content yet.