Reenable publishing; warn that release-opt may go away

Author: EliahKagan

.github/workflows/release.yml

@@ -333,8 +333,7 @@ jobs:
         env:
           GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
 
-      - name: Publish the release  # FIXME: Reenable this.
-        if: false
+      - name: Publish the release
         run: gh release --repo="$REPOSITORY" edit "$VERSION" --draft=false
         env:
           GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}

Cargo.toml

@@ -213,6 +213,8 @@ panic = "unwind"
 incremental = false
 build-override = { opt-level = 0 }
 
+# This profile is currently used in building releases for GitHub.
+# It may be removed at any time and should not otherwise be relied on.
 [profile.release-opt]
 inherits = "release"
 lto = "fat"