Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Move ci folder and make naming more consistent #233

Merged
merged 5 commits into from
Mar 15, 2022
Merged

Conversation

gchatelet
Copy link
Collaborator

No description provided.

@gchatelet gchatelet added the misc non user facing: internal, cleanup, ci, release process label Mar 15, 2022
@Mizux
Copy link
Collaborator

Mizux commented Mar 15, 2022

@gchatelet in makefile line 116 and 163 .. to ../..

@Mizux
Copy link
Collaborator

Mizux commented Mar 15, 2022

same for vagrant:

config.vm.provision "file", source: "../../../CMakeLists.txt", destination: "$HOME/project/"
config.vm.provision "file", source: "../../../cmake", destination: "$HOME/project/"
config.vm.provision "file", source: "../../../include", destination: "$HOME/project/"
config.vm.provision "file", source: "../../../src", destination: "$HOME/project/"
config.vm.provision "file", source: "../../../test", destination: "$HOME/project/"

@gchatelet gchatelet merged commit c219c92 into main Mar 15, 2022
@gchatelet gchatelet deleted the gchatelet/move_ci branch March 15, 2022 12:26
@gchatelet gchatelet added this to the v0.8.0 milestone Apr 27, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
misc non user facing: internal, cleanup, ci, release process
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

2 participants