Better V Integration #81

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

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
Removed builder & patches code; updated README
Some checks failed
ci/woodpecker/push/deploy unknown status
ci/woodpecker/push/docker unknown status
ci/woodpecker/push/lint Pipeline failed
ci/woodpecker/push/build Pipeline was successful
07bd0beb58
Fixed linting errors
Some checks failed
ci/woodpecker/push/deploy unknown status
ci/woodpecker/push/docker unknown status
ci/woodpecker/push/lint Pipeline was successful
ci/woodpecker/push/build Pipeline failed
3b3a2f4fc1
Jef Roosens added 1 commit 2022-02-19 15:38:45 +01:00
Merge branch 'dev' into better-v-integration
Some checks failed
ci/woodpecker/push/deploy unknown status
ci/woodpecker/push/docker unknown status
ci/woodpecker/push/lint Pipeline was successful
ci/woodpecker/push/build Pipeline was successful
34ccd9a6ef
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
This repository is archived. You cannot comment on pull requests.
No description provided.