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

2023-09-18 09:20:48 +02:00 · 2023-09-18 09:20:48 +02:00 · e0be028753
parent de608ee114
commit e0be028753
1 changed files with 3 additions and 1 deletions
--- 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: