From 2f9e8654dbe4cbeb5aadc39067930323ef2a4f99 Mon Sep 17 00:00:00 2001
From: capossele <angelocapossele@gmail.com>
Date: Tue, 14 May 2024 16:16:00 +0100
Subject: [PATCH 1/2] add remappings to root

---
 remappings.txt | 2 ++
 1 file changed, 2 insertions(+)
 create mode 100644 remappings.txt

diff --git a/remappings.txt b/remappings.txt
new file mode 100644
index 00000000..77797b2e
--- /dev/null
+++ b/remappings.txt
@@ -0,0 +1,2 @@
+forge-std/=lib/forge-std/src/
+openzeppelin/=lib/openzeppelin-contracts/

From 2832a753afa3a9f3db5ae52101eb203cf8ab8230 Mon Sep 17 00:00:00 2001
From: capossele <angelocapossele@gmail.com>
Date: Tue, 14 May 2024 16:17:02 +0100
Subject: [PATCH 2/2] enable forge doc on CI

---
 .github/workflows/main.yml | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml
index 388b923c..5ff58954 100644
--- a/.github/workflows/main.yml
+++ b/.github/workflows/main.yml
@@ -176,8 +176,7 @@ jobs:
       - run: cargo install --force --locked cargo-risczero@$RISC0_CRATE_VERSION
       - run: cargo risczero install --version $RISC0_TOOLCHAIN_VERSION
       - run: cargo doc --no-deps --workspace
-      # TODO(#18) debug forge doc and get this working
-      #- run: forge doc --root contracts
+      - run: forge doc
       #- run: sccache --show-stats
 
   # Run as a separate job because we need to install a different set of tools.