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

update deploy scripts #127

Merged

daveraja merged 1 commit into master from fix/deploy

Sep 21, 2023

+4 −4

Member

rkaminsk commented Sep 21, 2023 •

edited

Loading

This updates the deploy scripts and should fix your build issues. Hope the master branch is the right place. Otherwise, feel free to retarget.

You can also update the deploy scripts yourself:

cd <CLORM_REP>/.github
python <DEPLOY_REP>/deploy.py

The deploy repository is private in the potassco organization.


          update deploy scripts

63de2fa

Collaborator

daveraja commented Sep 21, 2023

Yes. The master branch is the right place. Thanks.

daveraja merged commit 6c0ec34 into master

24 checks passed

daveraja deleted the fix/deploy branch

September 21, 2023 13:48

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

Labels

None yet