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.

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

Jump to bottom

Closing RFP: Formal Guarantees for Grandpa #2425

Merged
merged 5 commits into from
Oct 15, 2024
Merged

Closing RFP: Formal Guarantees for Grandpa #2425

merged 5 commits into from
Oct 15, 2024

Commits on Oct 15, 2024

  1. Closing RFP: Formal Guarantees for Grandpa

    @bhargavbh
    bhargavbh authored Oct 15, 2024
    Configuration menu
    Copy the full SHA
    3926386 View commit details
    Browse the repository at this point in the history

  2. Update formal_guarantees_for_grandpa.md 

    Change status hint
    @semuelle
    semuelle authored Oct 15, 2024
    Configuration menu
    Copy the full SHA
    3240493 View commit details
    Browse the repository at this point in the history

  3. Update rfps.md 

    adjust rfp overview
    @PieWol
    PieWol authored Oct 15, 2024
    Configuration menu
    Copy the full SHA
    00be908 View commit details
    Browse the repository at this point in the history

  4. Update docs/rfps.md

    @semuelle
    semuelle authored Oct 15, 2024
    Configuration menu
    Copy the full SHA
    752d490 View commit details
    Browse the repository at this point in the history

  5. Update rfps.md

    @semuelle
    semuelle authored Oct 15, 2024
    Configuration menu
    Copy the full SHA
    701b701 View commit details
    Browse the repository at this point in the history