Automate Release Publication - Githubissues

sosy-lab / java-smt

JavaSMT - Unified Java API for SMT solvers.

Apache License 2.0

180 stars 46 forks source link

Automate Release Publication #383

Open kfriedberger opened 3 months ago

kfriedberger commented 3 months ago

We currently depend on several manual steps when publishing a release. We should automate more parts of it.

Current steps:

download and build JavaSMT (on Ubuntu 22.04 using prepared Dockerfile)
create tag in Git
create a release with documentation on Github
publish to Ivy
publish to Maven

We could simplify parts, such as:

have a specified secure branch release where admins can merge into from PRs
some CI then takes the branch, builds it and publishes it to all necessary artifact systems (Github needs to have credentials for this)
manually (or semi-automatic) create a release on Github