Adopt shared release workflows

.github/workflows/monthly-release.yml

@@ -0,0 +1,23 @@
+# SPDX-FileCopyrightText: 2026 The P4 Language Consortium
+#
+# SPDX-License-Identifier: Apache-2.0
+
+name: Monthly Release
+
+on:
+  workflow_dispatch:
+  schedule:
+    - cron: "17 12 1 * *" # At 12:17 on day-of-month 1 (avoid top-of-hour load)
+
+permissions:
+  contents: write
+  pull-requests: write
+
+jobs:
+  monthly-release:
+    if: ${{ github.repository == 'p4lang/behavioral-model' }}
+    uses: p4lang/.github/.github/workflows/bump-version.yml@main
+    with:
+      tag_prefix: ""
+      branch_pattern: "release/{version}"
+      reviewers: fruffy, jafingerhut

.github/workflows/publish-release.yml

@@ -0,0 +1,28 @@
+# SPDX-FileCopyrightText: 2026 The P4 Language Consortium
+#
+# SPDX-License-Identifier: Apache-2.0
+
+name: Publish Release
+
+on:
+  workflow_dispatch:
+  push:
+    branches:
+      - main
+    paths:
+      - "VERSION"
+
+permissions:
+  contents: write
+
+# Cancel any preceding run on the pull request.
+concurrency:
+  group: release-${{ github.event.pull_request.number || github.ref }}
+  cancel-in-progress: ${{ github.ref != 'refs/heads/main' }}
+
+jobs:
+  publish-release:
+    if: ${{ github.repository == 'p4lang/behavioral-model' }}
+    uses: p4lang/.github/.github/workflows/publish-release.yml@main
+    with:
+      tag_prefix: ""