mkoeppe/sage

Pull Requests Commits

.ci/retrofit-worktree.sh: Prune old worktree if needed

mkoeppe committed 2 years ago

4c076bba

.ci/retrofit-worktree.sh: Exit earlier if git is not present

mkoeppe committed 2 years ago

fe470b55

.ci/write-dockerfile.sh (with-targets): Use .ci from /sage; in git-free fallback, re-bootstrap in /sage

mkoeppe committed 2 years ago

b16750c8

.ci/write-dockerfile.sh: Check that 'git worktree' works before using retrofit-worktree.sh

mkoeppe committed 2 years ago

9ae5c186

tox.ini (docker): Supply BUILD_TAG to write-dockerfile.sh, for use by the default from_docker_tag in docker.yml

mkoeppe committed 2 years ago

c2be0e08

src/sage/misc/package_dir.py: Mark two doctests '# known bug'

mkoeppe committed 2 years ago

614d98a1

.gitignore: Ignore venvs within pkgs/*/

mkoeppe committed 2 years ago

d3f9c600

.ci/write-dockerfile.sh: Fix handling of .gitignore while src/ has not been copied in fully

mkoeppe committed 2 years ago

754bb9f6

tox.ini (docker): Pass through HOME to fix use with current macOS Docker Desktop client

mkoeppe committed 2 years ago

53d2aabb

tox.ini, .ci/write-dockerfile.sh: Fix handling of CONFIGURE_ARGS, add doc

mkoeppe committed 2 years ago

e335e931

.ci/write-dockerfile.sh (with-targets): Re-bootstrap after copying in src

mkoeppe committed 2 years ago

5393c941

.ci/write-dockerfile.sh: Quoting fix for updated docker client

mkoeppe committed 2 years ago

404a2c1a

Makefile (CONFIGURE_DEPENDENCIES): Add src/pyproject.toml

mkoeppe committed 2 years ago

e0fc3521

.ci/write-dockerfile.sh: Update for src/pyproject.toml after #36982

mkoeppe committed 2 years ago

92b9d80c

Updated SageMath version to 10.4.beta6

Release Manager committed 2 years ago

ffbbea9c

gh-37970: Fix sign error in the Kerr metric of the manifold catalog

Release Manager committed 2 years ago

f5e78840

Release Manager committed 2 years ago

4e0bbaf9

Release Manager committed 2 years ago

821924c1

Release Manager committed 2 years ago

175d57bf

Release Manager committed 2 years ago

e72a3e41

Release Manager committed 2 years ago

feba57a1

Release Manager committed 2 years ago

d9695cb3

Release Manager committed 2 years ago

16981c13

Release Manager committed 2 years ago

7ed7448c

Release Manager committed 2 years ago

c9f5b451

Release Manager committed 2 years ago

f91864d6

Release Manager committed 2 years ago

7f5ae5cf

Release Manager committed 2 years ago

f490e71a

Release Manager committed 2 years ago

1162d822

Release Manager committed 2 years ago

8d59b12a

Older