Skip to content
This repository has been archived by the owner on May 11, 2024. It is now read-only.

chore(main): release 0.15.0 #361

Merged
merged 1 commit into from
Sep 5, 2023
Merged

Conversation

github-actions[bot]
Copy link
Contributor

@github-actions github-actions bot commented Aug 14, 2023

🤖 I have created a release beep boop

0.15.0 (2023-09-04)

Features

  • all: update bindings based on latest tokenomics changes (#367) (28ea4db)
  • bindings: rename fork choice to state transition (#372) (e09fd97)
  • bindings: update bindings && remove unused files (#360) (24b9309)
  • bindings: update contract bindings (#377) (becdd73)
  • pkg: add isSyncing method (#379) (9c7a19a)
  • proposer: update proposing retry policy (#366) (e0adf17)

Bug Fixes

  • all: fix missing logs should be print in stderr (#370) (af6531b)
  • prover: add to wait group in prover (#373) (edf95a7)
  • prover: fix maxRetry configuration when submitting proofs (#364) (b6cd4db)
  • prover: fix some typo (#374) (355e68b)

This PR was generated with Release Please. See documentation.

@github-actions github-actions bot force-pushed the release-please--branches--main branch 2 times, most recently from da28dba to 1a47a68 Compare August 17, 2023 15:14
@github-actions github-actions bot force-pushed the release-please--branches--main branch 7 times, most recently from 71e72c3 to 0214b20 Compare August 31, 2023 20:36
@github-actions github-actions bot force-pushed the release-please--branches--main branch from 0214b20 to 7321edb Compare September 4, 2023 06:32
@MarcusWentz MarcusWentz enabled auto-merge (squash) September 5, 2023 07:17
@MarcusWentz MarcusWentz self-requested a review September 5, 2023 07:18
@davidtaikocha davidtaikocha merged commit 04654ff into main Sep 5, 2023
1 of 4 checks passed
@davidtaikocha davidtaikocha deleted the release-please--branches--main branch September 5, 2023 07:21
@github-actions
Copy link
Contributor Author

github-actions bot commented Sep 5, 2023

Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants