Skip to content

Commit 5c45eed

Browse files
author
Release Manager
committed
gh-37476: Add free disk space option to Docker build default
<!-- ^ Please provide a concise and informative title. --> <!-- ^ Don't put issue numbers in the title, do this in the PR description below. --> <!-- ^ For example, instead of "Fixes #12345" use "Introduce new method to calculate 1 + 2". --> <!-- v Describe your changes below in detail. --> <!-- v Why is this change required? What problem does it solve? --> <!-- v If this PR resolves an open issue, please link to it here. For example, "Fixes #12345". --> Extracts from #37351 the important and uncontroversal parts. Fixes the build errors of the default run: https://github.com/sagemath/sage/actions/runs/8037559468/job/21952518852 Closes #37330. Author: @mkoeppe Reviewer: @tobiasdiez ### 📝 Checklist <!-- Put an `x` in all the boxes that apply. --> - [ ] The title is concise and informative. - [ ] The description explains in detail what this PR is about. - [ ] I have linked a relevant issue or discussion. - [ ] I have created tests covering the changes. - [ ] I have updated the documentation accordingly. ### ⌛ Dependencies <!-- List all open PRs that this PR logically depends on. For example, --> <!-- - #12345: short description why this is a dependency --> <!-- - #34567: ... --> URL: #37476 Reported by: Tobias Diez Reviewer(s): Tobias Diez
2 parents fad0b4b + c94fcd0 commit 5c45eed

File tree

3 files changed

+5
-4
lines changed

3 files changed

+5
-4
lines changed

.github/workflows/ci-linux.yml

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -39,6 +39,7 @@ jobs:
3939
uses: ./.github/workflows/docker.yml
4040
with:
4141
# Build from scratch
42+
free_disk_space: true
4243
docker_targets: "with-system-packages configured with-targets-pre with-targets"
4344
# FIXME: duplicated from env.TARGETS
4445
targets_pre: all-sage-local

build/pkgs/configure/checksums.ini

Lines changed: 3 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -1,4 +1,4 @@
11
tarball=configure-VERSION.tar.gz
2-
sha1=33da83a21d026381c616e847e8fdb14f84803776
3-
md5=063475b1211038fbd3bdde4f5ab6b34a
4-
cksum=1924665094
2+
sha1=94530947a520c68ddae7116631005832824b8095
3+
md5=f0c0956b247562b6f1295a8f1c13fe17
4+
cksum=1215395867
Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1 +1 @@
1-
463e015d627b968e317050e2578157a6a1ffe2eb
1+
6563daf1aa9ba83260fc8e370e1999e3418c4957

0 commit comments

Comments
 (0)