Mark new releases as prerelease

NlightNFotis · NlightNFotis · commit 77084640e9d3 · 2023-10-30T10:47:37.000Z
diff --git a/.github/workflows/regular-release.yaml b/.github/workflows/regular-release.yaml
@@ -37,6 +37,7 @@ jobs:
         with:
           tag_name: cbmc-${{ env.CBMC_VERSION }}
           release_name: cbmc-${{ env.CBMC_VERSION }}
+          prerelease: true
           body: |
             This is CBMC version ${{ env.CBMC_VERSION }}.
 
