Skip to content

Commit 7eafe88

Browse files
chore(go): remove create pull request step in go release workflow (#1681)
1 parent 952c42f commit 7eafe88

File tree

1 file changed

+2
-23
lines changed

1 file changed

+2
-23
lines changed

.github/workflows/go-release.yml

Lines changed: 2 additions & 23 deletions
Original file line numberDiff line numberDiff line change
@@ -87,28 +87,7 @@ jobs:
8787
chmod +x ./scripts/go-release-automation.sh
8888
./scripts/go-release-automation.sh run_release_script ${{ github.event.inputs.project-name }} ${{ github.event.inputs.version }}
8989
90-
- name: Create Pull Request
91-
env:
92-
GH_TOKEN: ${{ secrets.GITHUB_TOKEN }}
90+
- name: print diff between development and release directory
9391
run: |
94-
PROJECT_NAME="${{ github.event.inputs.project-name }}"
95-
VERSION="${{ github.event.inputs.version }}"
96-
97-
# Get the release directory name using the sourced function
98-
RELEASE_DIR_NAME="${{ steps.release-dir.outputs.releaseDirName }}"
99-
100-
BRANCH_NAME="golang-release-staging-branch/$RELEASE_DIR_NAME/$VERSION"
101-
10292
DIFF_FILES=$(diff -qr $PROJECT_NAME/runtimes/go/ImplementationFromDafny-go releases/go/$RELEASE_DIR_NAME || true)
103-
104-
# Create PR using GitHub CLI
105-
gh pr create \
106-
--title "chore(go): Release $RELEASE_DIR_NAME Go module $VERSION" \
107-
--body "This PR was automatically created by the Go Release Automation workflow. It releases version $VERSION of the $RELEASE_DIR_NAME Go module. The diff between $PROJECT_NAME/runtimes/go/ImplementationFromDafny-go and releases/go/$RELEASE_DIR_NAME is below:
108-
109-
$DIFF_FILES
110-
" \
111-
--base main \
112-
--head "$BRANCH_NAME" \
113-
--label "golang" \
114-
--draft
93+
echo $DIFF_FILES

0 commit comments

Comments
 (0)