Skip to content
GitLab
Explore
Sign in
Primary navigation
Search or go to…
Project
bob.devtools
Manage
Activity
Members
Labels
Plan
Issues
4
Issue boards
Milestones
Code
Merge requests
0
Repository
Branches
Commits
Tags
Repository graph
Compare revisions
Build
Pipelines
Jobs
Pipeline schedules
Artifacts
Deploy
Releases
Model registry
Operate
Environments
Monitor
Incidents
Analyze
Value stream analytics
Contributor analytics
CI/CD analytics
Repository analytics
Model experiments
Help
Help
Support
GitLab documentation
Compare GitLab plans
Community forum
Contribute to GitLab
Provide feedback
Keyboard shortcuts
?
Snippets
Groups
Projects
Show more breadcrumbs
bob
bob.devtools
Merge requests
!72
Fix use_local flag after
a0aebba4
(closes
#34
)
Code
Review changes
Check out branch
Download
Patches
Plain diff
Merged
Fix use_local flag after
a0aebba4
(closes
#34
)
issue-34
into
master
Overview
0
Commits
2
Pipelines
2
Changes
2
Merged
André Anjos
requested to merge
issue-34
into
master
5 years ago
Overview
0
Commits
2
Pipelines
2
Changes
2
Expand
This fixes a missing option on
base_build()
after changes
a0aebba4
.
👍
0
👎
0
Merge request reports
Viewing commit
86e37bec
Prev
Next
Show latest version
2 files
+
6
−
7
Inline
Compare changes
Side-by-side
Inline
Show whitespace changes
Show one file at a time
Files
2
Search (e.g. *.vue) (Ctrl+P)
86e37bec
[build] Fixes call to base_build() after recent changes
· 86e37bec
André Anjos
authored
5 years ago
bob/devtools/scripts/ci.py
+
4
−
4
Options
@@ -648,13 +648,13 @@ def docs(ctx, requirement, dry_run):
This command:
\b
1. Clones all the necessary packages necessary to build the bob/beat
documentation
\b
\b
2. Generates the `extra-intersphinx.txt` and `nitpick-exceptions.txt` file
\b
\b
This command is supposed to be run **instead** of `bdt ci build...`
Loading