Skip to content

Navigation Menu

Sign in
Appearance settings

Search code, repositories, users, issues, pull requests...

Provide feedback

We read every piece of feedback, and take your input very seriously.

Saved searches

Use saved searches to filter your results more quickly
Sign up
Appearance settings

Commit eb52fca

Browse files
chore: bump MPL and reuse release script from MPL (#1963)
1 parent c8796d9 commit eb52fca

File tree

4 files changed

+8
-136
lines changed

4 files changed

+8
-136
lines changed

‎.github/workflows/go-release.yml‎

Lines changed: 6 additions & 27 deletions
Original file line numberDiff line numberDiff line change
@@ -72,8 +72,8 @@ jobs:
7272
- name: Get release directory name
7373
id: release-dir
7474
run: |
75-
chmod +x ./scripts/go-release-automation.sh
76-
RELEASE_DIR_NAME=$(./scripts/go-release-automation.sh get_release_dir_name "${{ github.event.inputs.project-name }}" "${{ github.event.inputs.version }}")
75+
chmod +x ./submodules/MaterialProviders/scripts/go-release-automation.sh
76+
RELEASE_DIR_NAME=$(./submodules/MaterialProviders/scripts/go-release-automation.sh get_release_dir_name "${{ github.event.inputs.project-name }}" "${{ github.event.inputs.version }}")
7777
echo "releaseDirName=$RELEASE_DIR_NAME" >> $GITHUB_OUTPUT
7878
7979
- name: Generate a changelog
@@ -84,31 +84,10 @@ jobs:
8484

8585
- name: Run Go release automation script
8686
run: |
87-
chmod +x ./scripts/go-release-automation.sh
88-
./scripts/go-release-automation.sh run_release_script ${{ github.event.inputs.project-name }} ${{ github.event.inputs.version }}
87+
chmod +x ./submodules/MaterialProviders/scripts/go-release-automation.sh
88+
./submodules/MaterialProviders/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

‎project.properties‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,5 +1,5 @@
11
projectJavaVersion=3.9.0-SNAPSHOT
2-
mplDependencyJavaVersion=1.11.0-SNAPSHOT
2+
mplDependencyJavaVersion=1.11.1-SNAPSHOT
33
dafnyVersion=4.9.0
44
dafnyVerifyVersion=4.9.1
55
dafnyRuntimeJavaVersion=4.9.0

‎scripts/go-release-automation.sh‎

Lines changed: 0 additions & 107 deletions
This file was deleted.

‎submodules/MaterialProviders‎

0 commit comments

Comments
(0)

AltStyle によって変換されたページ (->オリジナル) /