From a1c30f2ca493b9b462642b4d3831d579d244dcf5 Mon Sep 17 00:00:00 2001 From: Skylar Ray <137945430+sky-coderay@users.noreply.github.com> Date: Mon, 16 Dec 2024 19:07:26 +0200 Subject: [PATCH 1/3] Update readme.md --- website/docs/readme.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/website/docs/readme.md b/website/docs/readme.md index 5150d20b5..ed0709450 100644 --- a/website/docs/readme.md +++ b/website/docs/readme.md @@ -16,7 +16,7 @@ be used in production systems. - Then, make sure you have [opam](https://opam.ocaml.org/doc/Install.html) installed. - Finally, install `snarky` and its dependencies by running ```bash -opam pin add git@github.com:o1-labs/snarky.git +opam pin add https://github.com/o1-labs/snarky.git ``` and answering yes to the prompts. From ad4fbd003c0e3d838ea9ee58346b39890ea4fa96 Mon Sep 17 00:00:00 2001 From: Huberto <161350311+HubertIGL@users.noreply.github.com> Date: Tue, 24 Dec 2024 20:19:09 +0100 Subject: [PATCH 2/3] Update README.md --- README.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/README.md b/README.md index 977a3e96e..ac55b6c23 100644 --- a/README.md +++ b/README.md @@ -31,7 +31,7 @@ and answering yes to the prompts. ## Design -The intention of this library is to allow writing snarks by writing what look +The intention of this library is to allow writing snarks by writing what looks like normal programs (whose executions the snarks verify). If you're an experienced functional programmer, the basic idea (simplifying somewhat) is that there is a monad `Checked.t` so that a value of type `'a Checked.t` is an `'a` whose computation is From ab4d6a9b350368cd44c5d6b32b795856a23c4ac1 Mon Sep 17 00:00:00 2001 From: Danny Willems Date: Tue, 7 Jan 2025 11:50:35 +0100 Subject: [PATCH 3/3] CI: bump up images --- .github/workflows/docs.yml | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/.github/workflows/docs.yml b/.github/workflows/docs.yml index 605863148..3be6452c9 100644 --- a/.github/workflows/docs.yml +++ b/.github/workflows/docs.yml @@ -11,12 +11,12 @@ jobs: runs-on: ubuntu-latest steps: - name: Checkout Repository - uses: actions/checkout@v2 + uses: actions/checkout@v4 - name: Use OCaml "4.14.0" - uses: avsm/setup-ocaml@v1 + uses: ocaml/setup-ocaml@v3 with: - ocaml-version: 4.14.0 + ocaml-compiler: "4.14.0" - name: Build Documentation run: |