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.

Sign up for GitHub

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

Jump to bottom

build: remove paver related flags not needed anymore #107

Merged

UsamaSadiq merged 1 commit into master from remove-paver-related-flags

Nov 18, 2024

Member

UsamaSadiq commented Nov 18, 2024

Description

Removed the paver related flags usage which is not needed anymore.
The default value was removed in the previous PR which is causing issue in the pipeline now


          build: remove paver related flags not needed anymore

UsamaSadiq force-pushed the remove-paver-related-flags branch from 014f7e7 to 4853477 Compare

November 18, 2024 15:21

timmc-edx approved these changes

View reviewed changes

UsamaSadiq merged commit d2ef957 into master

3 checks passed

UsamaSadiq deleted the remove-paver-related-flags branch

November 18, 2024 15:24

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet