Skip to content

Commit 4ddd343

Browse files
authored
build: separate bootstrap-dev and bootstrap-dev-plugins to fix Gitlab builds (#1245)
1 parent 3241e6a commit 4ddd343

2 files changed

Lines changed: 6 additions & 3 deletions

File tree

.github/workflows/release.yml

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -46,7 +46,7 @@ jobs:
4646
- name: Print info about the current python installation
4747
run: make ci-info
4848
- name: Install requirements
49-
run: make bootstrap-dev
49+
run: make bootstrap-dev-plugins
5050

5151
##### Run tests, generate bundle
5252
# - name: Run tests

Makefile

Lines changed: 5 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -78,8 +78,11 @@ coverage-browse-report: coverage-html ## Open the HTML report in the browser
7878
bundle: ## Bundle the tutor package in a single "dist/tutor" executable
7979
pyinstaller tutor.spec
8080

81-
bootstrap-dev: ## Install dev requirements and all supported plugins
82-
pip install .[full,dev]
81+
bootstrap-dev: ## Install dev requirements
82+
pip install .[dev]
83+
84+
bootstrap-dev-plugins: bootstrap-dev ## Install dev requirements and all plugins
85+
pip install .[full]
8386

8487
pull-base-images: # Manually pull base images
8588
docker image pull docker.io/ubuntu:22.04

0 commit comments

Comments
 (0)