runtime/proof_trace_writer.h (#1185) #116

	name: 'Bump version and make master job'
	on:
	push:
	branches:
	- 'develop'
	concurrency:
	group: ${{ github.workflow }}-${{ github.ref }}
	cancel-in-progress: true

	jobs:

	version-bump:
	name: 'Version Bump'
	runs-on: ubuntu-latest
	steps:
	- name: 'Check out code'
	uses: actions/checkout@v4
	with:
	token: ${{ secrets.JENKINS_GITHUB_PAT }}
	# fetch-depth 0 means deep clone the repo
	fetch-depth: 0
	- name: 'Update Version'
	run: \|
	set -x
	git config user.name devops
	git config user.email [email protected]
	git checkout -B master origin/master
	old_develop="$(git merge-base origin/develop origin/master)"
	new_develop="$(git rev-parse origin/develop)"
	if git diff --exit-code ${old_develop} ${new_develop} -- package/version; then
	git merge --no-edit origin/develop
	./package/version.sh bump
	else
	git merge --no-edit --strategy-option=theirs origin/develop
	fi
	./package/version.sh sub
	if git add --update && git commit --no-edit --allow-empty --message "Set Version: $(cat package/version)"; then
	git push origin master
	fi

Provide feedback