From 3ad106464cff08027bb61219905ef02b1b084173 Mon Sep 17 00:00:00 2001
From: Baptistin Boilot <159285987+bboilot-ledger@users.noreply.github.com>
Date: Thu, 29 May 2025 18:03:23 +0200
Subject: [PATCH 1/4] fix: cargo-checkct action

---
 .github/workflows/cargo-checkct.yml | 8 +++++---
 1 file changed, 5 insertions(+), 3 deletions(-)

diff --git a/.github/workflows/cargo-checkct.yml b/.github/workflows/cargo-checkct.yml
index 4986ebdf6..ecd3cd132 100644
--- a/.github/workflows/cargo-checkct.yml
+++ b/.github/workflows/cargo-checkct.yml
@@ -18,6 +18,8 @@ env:
 jobs:
   build:
     runs-on: ubuntu-latest
-    uses: Ledger-Donjon/action-cargo-checkct@v1
-    with:
-      directory: .
+    
+    steps:
+      - uses: Ledger-Donjon/action-cargo-checkct@v1
+        with:
+          directory: .

From e94c13f8fb568f983887a9533e2d8687e0ac2a16 Mon Sep 17 00:00:00 2001
From: Baptistin Boilot <159285987+bboilot-ledger@users.noreply.github.com>
Date: Thu, 29 May 2025 18:06:36 +0200
Subject: [PATCH 2/4] fix: run action

---
 .github/workflows/cargo-checkct.yml | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/.github/workflows/cargo-checkct.yml b/.github/workflows/cargo-checkct.yml
index ecd3cd132..a49517e10 100644
--- a/.github/workflows/cargo-checkct.yml
+++ b/.github/workflows/cargo-checkct.yml
@@ -16,7 +16,8 @@ env:
   RUSTDOCFLAGS: "-Dwarnings"
 
 jobs:
-  build:
+  checkct:
+    name: Run cargo-checkct
     runs-on: ubuntu-latest
     
     steps:

From b9c8f7e0627451a9fa5d96824b8c04847aca6611 Mon Sep 17 00:00:00 2001
From: Baptistin Boilot <159285987+bboilot-ledger@users.noreply.github.com>
Date: Thu, 29 May 2025 18:27:00 +0200
Subject: [PATCH 3/4] fix: checkout repository before runnning cargo-checkct

---
 .github/workflows/cargo-checkct.yml | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/.github/workflows/cargo-checkct.yml b/.github/workflows/cargo-checkct.yml
index a49517e10..fa527d0e7 100644
--- a/.github/workflows/cargo-checkct.yml
+++ b/.github/workflows/cargo-checkct.yml
@@ -21,6 +21,8 @@ jobs:
     runs-on: ubuntu-latest
     
     steps:
+      - uses: actions/checkout@v4
+      
       - uses: Ledger-Donjon/action-cargo-checkct@v1
         with:
           directory: .

From f61e0056a4217fba001774e919434cabf63a4345 Mon Sep 17 00:00:00 2001
From: Baptistin Boilot <159285987+bboilot-ledger@users.noreply.github.com>
Date: Thu, 29 May 2025 22:19:26 +0200
Subject: [PATCH 4/4] fix: checkct manifest

---
 checkct/driver/Cargo.toml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/checkct/driver/Cargo.toml b/checkct/driver/Cargo.toml
index 116a459f2..67cf950e5 100644
--- a/checkct/driver/Cargo.toml
+++ b/checkct/driver/Cargo.toml
@@ -6,5 +6,5 @@ edition = "2021"
 
 [dependencies]
 rand_core = "0.6.4"
-checkct_macros = { path = "../../../../cargo-checkct/checkct_macros" }
+checkct_macros = { path = "../../cargo-checkct/checkct_macros" }
 crypto-bigint = { path = "../.." }