Fix website build (#2047)

- **Build website in ci**
- **Fix dead link**
- **Add empty patch section to cargo.toml**

Author: maciektr

.github/workflows/ci.yml

@@ -173,6 +173,7 @@ jobs:
           cache-dependency-path: website/package-lock.json
       - run: npm ci
       - run: npm run fmt:check
+      - run: npm run build
 
   snforge-init:
     runs-on: ubuntu-latest

Cargo.toml

@@ -147,6 +147,8 @@ xxhash-rust = { version = "0.8", features = ["xxh3"] }
 zip = { version = "0.6", default-features = false, features = ["deflate"] }
 zstd = "0.13"
 
+[patch.crates-io]
+
 [profile.release]
 lto = true
 

website/docs/extensions/prove-and-verify.md

@@ -15,7 +15,7 @@ and `scarb verify` commands.
 
 ## Proving Cairo execution
 
-Only packages defining the [executable target](../reference/targets.md/#Executable-target) can be proven.
+Only packages defining the [executable target](../reference/targets.md#executable-target) can be proven.
 To prove the execution, you need to run the `scarb execute` command first, which will save execution information under the `target/execute/<target name>` directory.
 For each execution, a new output directory will be created, with consecutive number as names (e.g. `execution1`, `execution2`, ...).
 To clean the target directory, you can use the `scarb clean` command.