Skip to content
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.

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

Combined PRs #2155

Closed
wants to merge 6 commits into from
Closed

Combined PRs #2155

wants to merge 6 commits into from

Conversation

github-actions[bot]
Copy link
Contributor

Combined PRs ➡️📦⬅️

✅ The following pull requests have been successfully combined on this PR:

⚠️ The following PRs were left out due to merge conflicts:

This PR was created by the github/combine-prs action

dependabot bot and others added 6 commits June 23, 2023 04:02
Bumps [hotshot](https://github.com/EspressoSystems/hotshot) from `c9a6278` to `4844372`.
- [Release notes](https://github.com/EspressoSystems/hotshot/releases)
- [Commits](EspressoSystems/HotShot@c9a6278...4844372)

---
updated-dependencies:
- dependency-name: hotshot
  dependency-type: direct:production
...

Signed-off-by: dependabot[bot] <[email protected]>
Bumps [hotshot-types](https://github.com/EspressoSystems/hotshot) from `c9a6278` to `4844372`.
- [Release notes](https://github.com/EspressoSystems/hotshot/releases)
- [Commits](EspressoSystems/HotShot@c9a6278...4844372)

---
updated-dependencies:
- dependency-name: hotshot-types
  dependency-type: direct:production
...

Signed-off-by: dependabot[bot] <[email protected]>
Bumps [hotshot-centralized-server](https://github.com/EspressoSystems/hotshot) from `c9a6278` to `4844372`.
- [Release notes](https://github.com/EspressoSystems/hotshot/releases)
- [Commits](EspressoSystems/HotShot@c9a6278...4844372)

---
updated-dependencies:
- dependency-name: hotshot-centralized-server
  dependency-type: direct:production
...

Signed-off-by: dependabot[bot] <[email protected]>
@github-actions github-actions bot requested a review from ImJeremyHe as a code owner October 10, 2024 14:59
@github-actions github-actions bot requested a review from sveitser as a code owner October 10, 2024 14:59
@sveitser sveitser closed this Oct 11, 2024
@sveitser sveitser deleted the combined-prs-branch branch October 11, 2024 00:20
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants