From e0be02875375cdd3db347bdce0c56ef2241e917e Mon Sep 17 00:00:00 2001
From: Florent Kermarrec <florent@enjoy-digital.fr>
Date: Mon, 18 Sep 2023 09:20:48 +0200
Subject: [PATCH] litex_setup: Don't do repo init in dev_mode (SSH clone) if
 running on CI.

---
 litex_setup.py | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/litex_setup.py b/litex_setup.py
index 577675dfd..5ec3caa41 100755
--- a/litex_setup.py
+++ b/litex_setup.py
@@ -449,7 +449,9 @@ def main():
 
     # Init.
     if args.init:
-        litex_setup_init_repos(config=args.config, tag=args.tag, dev_mode=args.dev)
+        ci_run   = (os.environ.get("GITHUB_ACTIONS") == "true")
+        dev_mode = args.dev and (not ci_run)
+        litex_setup_init_repos(config=args.config, tag=args.tag, dev_mode=dev_mode)
 
     # Update.
     if args.update: