chore: bump MPL and reuse release script from MPL #1963

Original file line number	Diff line number	Diff line change
Expand Up		@@ -72,8 +72,8 @@ jobs:
		- name: Get release directory name
		id: release-dir
		run: \|
	chmod +x ./scripts/go-release-automation.sh
	RELEASE_DIR_NAME=$(./scripts/go-release-automation.sh get_release_dir_name "${{ github.event.inputs.project-name }}" "${{ github.event.inputs.version }}")
	chmod +x ./submodules/MaterialProviders/scripts/go-release-automation.sh
	RELEASE_DIR_NAME=$(./submodules/MaterialProviders/scripts/go-release-automation.sh get_release_dir_name "${{ github.event.inputs.project-name }}" "${{ github.event.inputs.version }}")
		echo "releaseDirName=$RELEASE_DIR_NAME" >> $GITHUB_OUTPUT

		- name: Generate a changelog
Expand All		@@ -84,31 +84,10 @@ jobs:

		- name: Run Go release automation script
		run: \|
	chmod +x ./scripts/go-release-automation.sh
	./scripts/go-release-automation.sh run_release_script ${{ github.event.inputs.project-name }} ${{ github.event.inputs.version }}
	chmod +x ./submodules/MaterialProviders/scripts/go-release-automation.sh
	./submodules/MaterialProviders/scripts/go-release-automation.sh run_release_script ${{ github.event.inputs.project-name }} ${{ github.event.inputs.version }}

	- name: Create Pull Request
	env:
	GH_TOKEN: ${{ secrets.GITHUB_TOKEN }}
	- name: print diff between development and release directory
		run: \|
	PROJECT_NAME="${{ github.event.inputs.project-name }}"
	VERSION="${{ github.event.inputs.version }}"

	# Get the release directory name using the sourced function
	RELEASE_DIR_NAME="${{ steps.release-dir.outputs.releaseDirName }}"

	BRANCH_NAME="golang-release-staging-branch/$RELEASE_DIR_NAME/$VERSION"

		DIFF_FILES=$(diff -qr $PROJECT_NAME/runtimes/go/ImplementationFromDafny-go releases/go/$RELEASE_DIR_NAME \|\| true)

	# Create PR using GitHub CLI
	gh pr create \
	--title "chore(go): Release $RELEASE_DIR_NAME Go module $VERSION" \
	--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:

	$DIFF_FILES
	" \
	--base main \
	--head "$BRANCH_NAME" \
	--label "golang" \
	--draft
	echo $DIFF_FILES

2 changes: 1 addition & 1 deletion project.properties

Show comments View file Open in desktop

Original file line number	Diff line number	Diff line change
		@@ -1,5 +1,5 @@
		projectJavaVersion=3.9.0-SNAPSHOT
	mplDependencyJavaVersion=1.11.0-SNAPSHOT
	mplDependencyJavaVersion=1.11.1-SNAPSHOT
		dafnyVersion=4.9.0
		dafnyVerifyVersion=4.9.1
		dafnyRuntimeJavaVersion=4.9.0
Expand Down

107 changes: 0 additions & 107 deletions scripts/go-release-automation.sh

Show comments View file Open in desktop

This file was deleted.

2 changes: 1 addition & 1 deletion submodules/MaterialProviders

Show comments Open in desktop

Submodule MaterialProviders updated from ec013f to 952c42

Navigation Menu

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

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

Uh oh!

chore: bump MPL and reuse release script from MPL #1963

Uh oh!

chore: bump MPL and reuse release script from MPL #1963

Filter by extension

Uh oh!

Uh oh!

Diff view

Diff view

There are no files selected for viewing

Uh oh!

Uh oh!