We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
1 parent c36f14f commit 6ac129fCopy full SHA for 6ac129f
1 file changed
README.md
@@ -26,7 +26,7 @@ Lean Toolchain provides a collection of formally verified cryptographic algorith
26
27
```bash
28
# Clone the repository
29
-git clone https://github.com/SentinelOps-Remote-CI/lean-toolchain.git
+git clone https://github.com/SentinelOps-CI/lean-toolchain.git
30
cd lean-toolchain
31
32
# Build the project
0 commit comments