Basic support for pointers and pointer casts (#614) #72
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
name: 'Master Push' | |
on: | |
# run on master pushes to manage the version in the release branch | |
push: | |
branches: | |
- master | |
workflow_dispatch: | |
concurrency: | |
group: ${{ github.workflow }}-${{ github.ref }} | |
cancel-in-progress: true | |
jobs: | |
# push updates and a version bump to the release branch | |
version-bump: | |
name: 'Version Bump and Start Release' | |
runs-on: 'ubuntu-latest' | |
steps: | |
- uses: actions/checkout@v4 | |
with: | |
token: ${{ secrets.JENKINS_GITHUB_PAT }} | |
fetch-depth: 0 | |
- name: 'Configure GitHub user' | |
run: | | |
git config user.name devops | |
git config user.email [email protected] | |
- name: 'Install uv' | |
uses: astral-sh/setup-uv@v5 | |
with: | |
version: 0.7.2 | |
- name: 'Update release branch with current master' | |
run: | | |
git checkout -B release origin/release | |
prior_version=$(cat package/version) | |
old_master="$(git merge-base origin/master origin/release)" | |
new_master="$(git rev-parse origin/master)" | |
# otherwise bump the prior_version | |
if git diff --exit-code ${old_master} ${new_master} -- package/version; then | |
git merge --no-edit origin/master | |
package/version.sh bump ${prior_version} | |
else | |
# if the version has changed on master, use it unmodified | |
git merge --no-edit --strategy-option=theirs origin/master | |
fi | |
# substitute the version in all relevant files | |
package/version.sh sub | |
uv --directory kmir lock --no-upgrade | |
# add changes to staging and commit (if there are any) | |
if git add --update && git commit --no-edit --allow-empty --message "Set Version: $(cat package/version)"; then | |
# Push the changes to the release branch -- Trigger the Release Process and Testing | |
git push origin release | |
# tag master with a release tag | |
git tag "release-$(cat package/version)" origin/master | |
git push origin "release-$(cat package/version)" | |
fi |