-
-
Notifications
You must be signed in to change notification settings - Fork 528
Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Merge remote-tracking branch 'upstream/develop' into is_SchemeTopolog…
…icalPoint
- Loading branch information
Showing
377 changed files
with
6,222 additions
and
2,872 deletions.
There are no files selected for viewing
This file was deleted.
Oops, something went wrong.
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
25 changes: 0 additions & 25 deletions
25
.devcontainer/portability-centos-7-devtoolset-gcc_11-minimal/devcontainer.json
This file was deleted.
Oops, something went wrong.
1 change: 0 additions & 1 deletion
1
.devcontainer/portability-centos-7-devtoolset-gcc_11-minimal/portability-Dockerfile
This file was deleted.
Oops, something went wrong.
25 changes: 0 additions & 25 deletions
25
.devcontainer/portability-centos-7-devtoolset-gcc_11-standard/devcontainer.json
This file was deleted.
Oops, something went wrong.
1 change: 0 additions & 1 deletion
1
.devcontainer/portability-centos-7-devtoolset-gcc_11-standard/portability-Dockerfile
This file was deleted.
Oops, something went wrong.
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
|
@@ -132,6 +132,7 @@ jobs: | |
git config --global --add safe.directory $(pwd) | ||
git config --global user.email "[email protected]" | ||
git config --global user.name "Build documentation workflow" | ||
mkdir -p doc | ||
# Check if we are on PR | ||
PR_NUMBER="" | ||
if [[ -n "$GITHUB_REF" ]]; then | ||
|
@@ -146,7 +147,6 @@ jobs: | |
# mathjax path in new doc | ||
mathjax_path_to=$(docker exec -e SAGE_USE_CDNS=yes BUILD /sage/sage -python -c "from sage_docbuild.conf import mathjax_path; print(mathjax_path)") | ||
new_version=$(docker exec BUILD cat src/VERSION.txt) | ||
mkdir -p doc/ | ||
docker cp BUILD:/sage/local/share/doc/sage/html doc/ | ||
# Wipe out chronic diffs between old doc and new doc | ||
(cd doc && \ | ||
|
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Oops, something went wrong.