File tree 1 file changed +3
-3
lines changed
1 file changed +3
-3
lines changed Original file line number Diff line number Diff line change 85
85
id : incremental
86
86
run : |
87
87
# Now re-bootstrap and build. The build is incremental because we were careful with the timestamps.
88
- ./bootstrap && make build
88
+ ./bootstrap && make sagemath_doc_html- build-deps
89
89
working-directory : ./worktree-image
90
90
env :
91
91
MAKE : make -j2 --output-sync=recurse
96
96
if : always() && steps.worktree.outcome == 'success' && steps.incremental.outcome != 'success'
97
97
run : |
98
98
set -ex
99
- make sagelib-clean && git clean -fx src/sage && ./config.status && make build
99
+ make sagelib-clean && git clean -fx src/sage && ./config.status && make sagemath_doc_html- build-deps
100
100
working-directory : ./worktree-image
101
101
env :
102
102
MAKE : make -j2 --output-sync=recurse
@@ -113,7 +113,7 @@ jobs:
113
113
mv /sage/local/share/doc/sage/html/en/.git /sage/.git-doc
114
114
make doc-clean doc-uninstall
115
115
mkdir -p /sage/local/share/doc/sage/html/en/ && mv /sage/.git-doc /sage/local/share/doc/sage/html/en/.git
116
- ./config.status && make doc-html
116
+ ./config.status && make sagemath_doc_html-no-deps
117
117
working-directory : ./worktree-image
118
118
env :
119
119
MAKE : make -j2 --output-sync=recurse
You can’t perform that action at this time.
0 commit comments