Skip to content

Trigger v0.7.1 compiler release #974

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
greenhat merged 6 commits into from
Feb 19, 2026
Merged

Trigger v0.7.1 compiler release #974

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
6 commits
Select commit Hold shift + click to select a range
1db791d
Merge pull request #956 from 0xMiden/main
greenhat Feb 12, 2026
f66b8d9
chore: fix the release tag discovering in the release CI job
greenhat Feb 12, 2026
0570d59
Merge pull request #957 from 0xMiden/i954-fix-artifact-upload
bitwalker Feb 12, 2026
2979d08
chore: run the `release` CI job after the successful `publish` CI job
greenhat Feb 17, 2026
ece02ef
chore: prefix the release git tag with `v` #961
greenhat Feb 17, 2026
6104f70
Merge pull request #968 from 0xMiden/i955-release-pr-self-repl
greenhat Feb 18, 2026
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
14 changes: 11 additions & 3 deletions .github/workflows/release.yml
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -77,9 +77,12 @@ jobs:
echo "=================="
echo "${RELEASES}" | jq -rM
echo "=================="
release_tag=$(echo "${RELEASES}" | jq -r '.[] | select(.package_name == "midenc" or .package_name == "cargo-miden") | .tag' | head -n1)
# `cargo-miden` owns the GitHub release/tag (see `release-plz.toml`), and it uses an
# unprefixed tag name like `v0.7.0`. Other crates may report prefixed tags (e.g.
# `midenc-v0.7.0`) which do not correspond to an actual GitHub release.
release_tag=$(echo "${RELEASES}" | jq -r '.[] | select(.package_name == "cargo-miden") | .tag' | head -n1)
Copy link
Contributor

@mooori mooori Feb 19, 2026

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Might add a sorting step if there's a chance of having multiple matches for the select.

Copy link
Contributor Author

@greenhat greenhat Feb 19, 2026

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Good point! It should be only one package named cargo-miden.

if [ -z "${release_tag}" ] || [ "${release_tag}" = "null" ]; then
echo "midenc or cargo-miden crate was not released in this run. Skipping artifact upload."
echo "cargo-miden crate was not released in this run. Skipping artifact upload."
echo "release_tag=" >> "${GITHUB_OUTPUT}"
exit 0
fi
Expand Down Expand Up @@ -130,7 +133,12 @@ jobs:
release:
name: prepare the next release
runs-on: ubuntu-latest
if: ${{ github.repository_owner == '0xMiden' }}
needs: publish
# Only prepare the next release if we didn't just create a release.
# When a release PR is merged, the `publish` job will create tags/releases and publish to crates.io.
# Running `release-pr` in the same workflow run before publishing completes can create a duplicate
# release PR for the same version bump.
if: ${{ github.repository_owner == '0xMiden' && needs.publish.result == 'success' && needs.publish.outputs.releases_created != 'true' }}
permissions:
contents: write
pull-requests: write
Expand Down
4 changes: 2 additions & 2 deletions release-plz.toml
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -17,8 +17,8 @@ changelog_path = "./CHANGELOG.md"
name = "cargo-miden"
git_release_enable = true
git_tag_enable = true
git_tag_name = "{{ version }}"
git_release_name = "{{ version }}"
git_tag_name = "v{{ version }}"
git_release_name = "v{{ version }}"


[changelog]
Expand Down
Loading