Update DEVELOPERS readme with release instructions

stanford-centaur · Mar 7, 2025 · 7f65f96 · 7f65f96
1 parent 050ae31
commit 7f65f96
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/DEVELOPERS.md b/DEVELOPERS.md
@@ -1,5 +1,8 @@
 # Developer Information
 
+## Generating a New Release
+To make a new release of `smt-switch`, simply update the version in [VERSION](./VERSION). Once this is committed to master it will trigger the [auto release workflow](./.github/workflows/auto-draft-release.yml) which will create a new version tag and open a draft release. Once you submit the release that will then trigger the [cibuildwheel](./.github/workflows/cibuildwheel.yml) to generate Python wheels and upload them to PyPi.
+
 ## Style Decisions
 
 * Formatting with `git-clang-format`