litex_setup: Don't do repo init in dev_mode (SSH clone) if running on…

… CI.
enjoy-digital · Sep 18, 2023 · e0be028 · e0be028
1 parent de608ee
commit e0be028
Showing 1 changed file with 3 additions and 1 deletion.
diff --git 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: