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

Add option for big solution #421

Merged

muno92 merged 3 commits into main from feature-420

Oct 29, 2023

Owner

muno92 commented Oct 29, 2023

Add no-build option
Add caches-home option

muno92 added 3 commits

October 29, 2023 14:29


          Add no-build option

48faff7


          Add caches-home option

4cbaf2d


          Upgrade minor version

0d43091

muno92 merged commit 7467b12 into main

1 check passed

muno92 deleted the feature-420 branch

October 29, 2023 05:39

github-actions bot mentioned this pull request

Release for 1.9.0 #422

Merged

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

Labels

None yet