Skip to content

bump versions #820

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
mike1729 merged 8 commits into from
Dec 22, 2022
Merged

bump versions #820

Show file tree
Hide file tree
Changes from 1 commit
Commits
Show all changes
8 commits
Select commit Hold shift + click to select a range
1a08f16
bump versions
Dec 20, 2022
f8df9ba
Adjust to new versions
Dec 20, 2022
97174ad
Bump finality version
Dec 21, 2022
021ecb5
bump versions and use defaults
Dec 21, 2022
ef0695b
fmt
Dec 21, 2022
2ed5cea
Merge branch 'main' into switch-alephbft
Dec 21, 2022
a299ee5
consistent import
Dec 22, 2022
a54cb22
Bump default abft version
Dec 22, 2022
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
Next Next commit
bump versions
  • Loading branch information
Michal Swietek committed Dec 20, 2022
commit 1a08f16c1c53777889a2fde2a3613b96dd38f1fb
Loading