Update documentation on CONTRIBUTING.md as well

apalache-mc · May 6, 2024 · 67d9e81 · 67d9e81
1 parent a6720fc
commit 67d9e81
Showing 1 changed file with 1 addition and 2 deletions.
diff --git a/CONTRIBUTING.md b/CONTRIBUTING.md
@@ -474,8 +474,7 @@ are configured in [./.github/workflows/prepare-release.yml][] and
 The process proceeds in two steps:
 
 1. CI prepares a release, and opens a PR with the version changes and release
-   notes. These are triggered every Monday by a cron job or [manually via the
-   GitHub UI][github-ui].
+   notes. These are [manually via the GitHub UI][github-ui].
    - The scheduled releases increment the patch number.
    - Use the _Version_ input field to manually specify the version to release.