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 #1904

Closed
wants to merge 6 commits into from
Closed

Combined PRs #1904

wants to merge 6 commits into from

Conversation

github-actions[bot]
Copy link
Contributor

@github-actions github-actions bot commented Aug 26, 2024

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 nomaxg as a code owner August 26, 2024 01:30
@sveitser sveitser closed this Oct 9, 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