-
Notifications
You must be signed in to change notification settings - Fork 2
Add Build checker and version checker #25
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
base: main
Are you sure you want to change the base?
Conversation
|
What's the deal with the ubuntu build? |
|
@mhkline On the main branch the soniclib version is still 4.4.7 and I used this branch for my dev branch. |
|
Ah, so you found the first bug with our flow. This is a real issue that occasionally happens. The reason is that the github pages documentation is immediately updated upon building a new release on the Jenkins side, while the actual source code is not. On the source code side, Jenkins creates a new branch with the changes and does not immediately merge this to main. Unfortunately, I think changing this behavior is quite complex. We have considered trying to keep older versions of the documentation available, but I don't think anyone has really spent time on this yet. I think we may need to disable the check on the github pages documentation version for now. @gjabouley-invn FYI |
|
Ahah, ok, so, i will disable this check if the last tag is a documentation tag. |
|
@mhkline If it's ok with you, I'll wait for @gjabouley-invn to get back before merging this branch. |
|
@mhkline i'll have a look, let's try to finalize this topic so we have a working build for this public repo |
Add Build checker and version checker to soniclib public repo CI