search

potassco / clorm

🗃️ A Python ORM-like interface for the Clingo Answer Set Programming (ASP) reasoner
https://clorm.readthedocs.io
MIT License
52 stars 5 forks source link

update deploy scripts #127

Closed rkaminsk closed 1 year ago

rkaminsk commented 1 year ago

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.

daveraja commented 1 year ago

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