Skip to content

chore: version v0.55.1#726

Merged
smrz2001 merged 1 commit into
mainfrom
version-v0.55.1
Jun 18, 2025
Merged

chore: version v0.55.1#726
smrz2001 merged 1 commit into
mainfrom
version-v0.55.1

Conversation

@smrz2001

Copy link
Copy Markdown
Contributor

[0.55.1] - 2025-06-17

🐛 Bug Fixes

  • Fetch unvalidated time proofs for conclusion events (#723)

@smrz2001 smrz2001 added the release Release PRs label Jun 17, 2025
@smrz2001 smrz2001 requested review from a team and dav1do as code owners June 17, 2025 17:37
@smrz2001 smrz2001 removed the request for review from a team June 17, 2025 17:37
@smrz2001 smrz2001 added the release Release PRs label Jun 17, 2025
@smrz2001 smrz2001 requested a review from ukstv June 17, 2025 17:37
@smrz2001 smrz2001 temporarily deployed to tnet-prod-2024 June 17, 2025 17:58 — with GitHub Actions Inactive

@stbrody stbrody left a comment

Copy link
Copy Markdown
Collaborator

Choose a reason for hiding this comment

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

lgtm

We should probably remove David from the codeowners file so he doesn't keep getting pinged on PRs like these

@smrz2001 smrz2001 added this pull request to the merge queue Jun 18, 2025
Merged via the queue into main with commit b547dc6 Jun 18, 2025
20 checks passed
@smrz2001 smrz2001 deleted the version-v0.55.1 branch June 18, 2025 22:02
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

release Release PRs

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants