Merge pull request #1782 from enjoy-digital/ci-dev-test

Switch CI to litex_setup.py --dev.
This commit is contained in:
enjoy-digital 2023-09-18 10:02:36 +02:00 committed by GitHub
commit 7d73873741
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
2 changed files with 4 additions and 2 deletions

View File

@ -38,7 +38,7 @@ jobs:
# Install (n)Migen / LiteX / Cores
- name: Install LiteX
run: |
python3 litex_setup.py --config=full --init --install --user
python3 litex_setup.py --config=full --init --install --user --dev
# Install GCC Toolchains
- name: Install GCC Toolchains

View File

@ -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: