From c22da502ef4d0fa1465fe2b1fa85b8b05d69c6c5 Mon Sep 17 00:00:00 2001 From: "github-merge-queue[bot]" Date: Mon, 2 Sep 2024 21:52:47 +0000 Subject: [PATCH] deploy: 25e19e5d34a4c15f012ad889d9b7eb1e1b3e150c --- CONTRIBUTING.html | 2 +- fpp-dev/intro.html | 2 +- fpp-dev/targets.html | 2 +- index.html | 4 ++-- intro.html | 4 ++-- print.html | 10 +++++----- 6 files changed, 12 insertions(+), 12 deletions(-) diff --git a/CONTRIBUTING.html b/CONTRIBUTING.html index 98790090c..9ee4e7491 100644 --- a/CONTRIBUTING.html +++ b/CONTRIBUTING.html @@ -195,7 +195,7 @@

Dependencies

Pull Request Process

    -
  1. Before anything, create an issue to discuss the change you're +
  2. Before anything, create an issue to discuss the change you're wanting to make, if it is significant or changes functionality. Feel free to skip this step for trivial changes.
  3. Once your change is implemented, ensure that all checks are passing before creating a PR. The full CI pipeline can be ran locally via the justfiles in the repository.
    4. diff --git a/fpp-dev/intro.html b/fpp-dev/intro.html index c5af0911c..ce8b5d645 100644 --- a/fpp-dev/intro.html +++ b/fpp-dev/intro.html @@ -176,7 +176,7 @@

    The Kona Book

    Fault Proof Program Development

    This chapter provides an overview of Fault Proof Program development -on top of the custom FPVM targets supported by Kona.

    +on top of the custom FPVM targets supported by Kona.

    At a high level, a Fault Proof Program is not much different from a regular no_std Rust program. A custom entrypoint is provided, and the program is compiled down to a custom target, which is then executed on the FPVM.

    Fault Proof Programs are structured with 3 stages:

    diff --git a/fpp-dev/targets.html b/fpp-dev/targets.html index e05091247..154ec4662 100644 --- a/fpp-dev/targets.html +++ b/fpp-dev/targets.html @@ -181,7 +181,7 @@

    Supported asterisc✅✅✅❌ -

    If there is a feature that you would like to see supported, please open an issue or consider contributing!

    +

    If there is a feature that you would like to see supported, please open an issue or consider contributing!

    Cannon (MIPS32r2)

    Cannon is based off of the mips32r2 target architecture, supporting 55 instructions:

    diff --git a/index.html b/index.html index 48b549a3c..e4f32b4d8 100644 --- a/index.html +++ b/index.html @@ -178,7 +178,7 @@

    Kona Book

    📖 kona is in active development, and is not yet ready for use in production. During development, this book will evolve quickly and may contain inaccuracies.

    -

    Please open an issue if you find any errors or have any suggestions for improvements, and also feel free to contribute to the project!

    +

    Please open an issue if you find any errors or have any suggestions for improvements, and also feel free to contribute to the project!

    Introduction

    Kona is a suite of libraries and build pipelines for developing verifiable Rust programs targeting @@ -207,7 +207,7 @@

    Goals of Kona

    Development Status

    Kona is currently in active development, and is not yet ready for use in production.

    Contributing

    -

    Contributors are welcome! Please see the contributing guide for more information.

    +

    Contributors are welcome! Please see the contributing guide for more information.

    diff --git a/intro.html b/intro.html index 48b549a3c..e4f32b4d8 100644 --- a/intro.html +++ b/intro.html @@ -178,7 +178,7 @@

    Kona Book

    📖 kona is in active development, and is not yet ready for use in production. During development, this book will evolve quickly and may contain inaccuracies.

    -

    Please open an issue if you find any errors or have any suggestions for improvements, and also feel free to contribute to the project!

    +

    Please open an issue if you find any errors or have any suggestions for improvements, and also feel free to contribute to the project!

    Introduction

    Kona is a suite of libraries and build pipelines for developing verifiable Rust programs targeting @@ -207,7 +207,7 @@

    Goals of Kona

    Development Status

    Kona is currently in active development, and is not yet ready for use in production.

    Contributing

    -

    Contributors are welcome! Please see the contributing guide for more information.

    +

    Contributors are welcome! Please see the contributing guide for more information.

    diff --git a/print.html b/print.html index a7109ad2c..588135ce0 100644 --- a/print.html +++ b/print.html @@ -179,7 +179,7 @@

    Kona Book

    📖 kona is in active development, and is not yet ready for use in production. During development, this book will evolve quickly and may contain inaccuracies.

    -

    Please open an issue if you find any errors or have any suggestions for improvements, and also feel free to contribute to the project!

    +

    Please open an issue if you find any errors or have any suggestions for improvements, and also feel free to contribute to the project!

    Introduction

    Kona is a suite of libraries and build pipelines for developing verifiable Rust programs targeting @@ -208,14 +208,14 @@

    Goals of Kona

    Development Status

    Kona is currently in active development, and is not yet ready for use in production.

    Contributing

    -

    Contributors are welcome! Please see the contributing guide for more information.

    +

    Contributors are welcome! Please see the contributing guide for more information.

    Fault Proof Program Development

    This chapter provides an overview of Fault Proof Program development -on top of the custom FPVM targets supported by Kona.

    +on top of the custom FPVM targets supported by Kona.

    At a high level, a Fault Proof Program is not much different from a regular no_std Rust program. A custom entrypoint is provided, and the program is compiled down to a custom target, which is then executed on the FPVM.

    Fault Proof Programs are structured with 3 stages:

    @@ -290,7 +290,7 @@

    Full Example

    CategoryInstructionDescription
    asterisc✅✅✅❌
    -

    If there is a feature that you would like to see supported, please open an issue or consider contributing!

    +

    If there is a feature that you would like to see supported, please open an issue or consider contributing!

    Cannon (MIPS32r2)

    Cannon is based off of the mips32r2 target architecture, supporting 55 instructions:

    @@ -495,7 +495,7 @@

    Dependencies

    Pull Request Process

      -
    1. Before anything, create an issue to discuss the change you're +
    2. Before anything, create an issue to discuss the change you're wanting to make, if it is significant or changes functionality. Feel free to skip this step for trivial changes.
    3. Once your change is implemented, ensure that all checks are passing before creating a PR. The full CI pipeline can be ran locally via the justfiles in the repository.
    CategoryInstructionDescription