mkoeppe/sage

Pull Requests Commits

.github/workflows/docker.yml: Don't put tox venv in LOGS_ARTIFACT

mkoeppe committed 1 year ago

78f9f2e8

tox.ini (docker): Make DOCKER_BUILDKIT=1 the default

mkoeppe committed 1 year ago

415ecad8

tox.ini (docker), build/bin/write-dockerfile.sh [DOCKER_BUILDKIT=1]: Save error status in a file

mkoeppe committed 1 year ago

358909a3

.github/workflows/docker.yml: Fix up

mkoeppe committed 1 year ago

755fd97d

.github/workflows/docker.yml: Add instructions for the case that no Docker image is pushed

mkoeppe committed 1 year ago

e2992439

.github/workflows/docker.yml: Use Dockertags.pushed

mkoeppe committed 1 year ago

bf28d208

tox.ini (docker): Record successful pushes in Dockertags.pushed

mkoeppe committed 1 year ago

4826a15a

.github/workflows/docker.yml: Improve wording of Docker instructions

mkoeppe committed 1 year ago

a19a3485

build/pkgs/info: Update to 7.0.3

mkoeppe committed 1 year ago

eba5a061

.github/workflows/docker.yml: Show Docker images as annotations, show instructions

mkoeppe committed 1 year ago

b4e6ac7c

tox.ini (docker): Only append to Dockertags if BUILD_TAG is set

mkoeppe committed 1 year ago

5537a827

tox.ini (docker): Move copying of logs from container here from .github/workflows/docker.yml

mkoeppe committed 1 year ago

8cd1147d

tox.ini [DOCKER_BUILDKIT=1]: Do not attempt to retrieve a failed container from buildkit

mkoeppe committed 1 year ago

10df873e

Updated SageMath version to 10.3.beta8

Release Manager committed 1 year ago

30b3d78f

gh-37290: sagemath-standard: don't require Cython to create sdist

Release Manager committed 1 year ago

81a374dc

Release Manager committed 1 year ago

f71381c3

Release Manager committed 1 year ago

36bf4afd

Release Manager committed 1 year ago

75afadb1

Release Manager committed 1 year ago

d3deb285

Release Manager committed 1 year ago

5f9ac403

Release Manager committed 1 year ago

df5e77e5

Release Manager committed 1 year ago

2fd33b96

Release Manager committed 1 year ago

1cd7585c

Release Manager committed 1 year ago

1ac73d8a

Release Manager committed 1 year ago

46ef3fd7

Release Manager committed 1 year ago

b33cb751

Release Manager committed 1 year ago

4f78a5f3

Release Manager committed 1 year ago

cd61411b

Release Manager committed 1 year ago

3d38254e

Release Manager committed 1 year ago

1b02deb7

Older