[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[debbugs-tracker] bug#33378: closed (offload: Avoid hosts with little or
From: |
GNU bug Tracking System |
Subject: |
[debbugs-tracker] bug#33378: closed (offload: Avoid hosts with little or no free disk space) |
Date: |
Fri, 21 Dec 2018 22:52:02 +0000 |
Your message dated Fri, 21 Dec 2018 23:51:35 +0100
with message-id <address@hidden>
and subject line Re: bug#33378: offload: Avoid hosts with little or no free
disk space
has caused the debbugs.gnu.org bug report #33378,
regarding offload: Avoid hosts with little or no free disk space
to be marked as done.
(If you believe you have received this mail in error, please contact
address@hidden)
--
33378: http://debbugs.gnu.org/cgi/bugreport.cgi?bug=33378
GNU Bug Tracking System
Contact address@hidden with problems
--- Begin Message ---
Subject: |
offload: Avoid hosts with little or no free disk space |
Date: |
Wed, 14 Nov 2018 14:50:49 +0100 |
User-agent: |
Gnus/5.13 (Gnus v5.13) Emacs/26.1 (gnu/linux) |
‘choose-build-machine’ in (guix scripts offload) could/should exclude
build machines that don’t have at least, say, 100 MiB available in their
store. That would avoid ENOSPC build failures such as
<https://berlin.guixsd.org/log/0hvhrfdjwnmdm2rdf58knshbbikm4ryv-r-bsgenome-hsapiens-ucsc-hg19-masked-1.3.99>.
Thanks,
Ludo’.
--- End Message ---
--- Begin Message ---
Subject: |
Re: bug#33378: offload: Avoid hosts with little or no free disk space |
Date: |
Fri, 21 Dec 2018 23:51:35 +0100 |
User-agent: |
Gnus/5.13 (Gnus v5.13) Emacs/26.1 (gnu/linux) |
address@hidden (Ludovic Courtès) skribis:
> ‘choose-build-machine’ in (guix scripts offload) could/should exclude
> build machines that don’t have at least, say, 100 MiB available in their
> store. That would avoid ENOSPC build failures such as
> <https://berlin.guixsd.org/log/0hvhrfdjwnmdm2rdf58knshbbikm4ryv-r-bsgenome-hsapiens-ucsc-hg19-masked-1.3.99>.
Done in commit 63b0c3eaccdf1816b419632cd7fe721934d2eb27.
Ludo'.
--- End Message ---
[Prev in Thread] |
Current Thread |
[Next in Thread] |
- [debbugs-tracker] bug#33378: closed (offload: Avoid hosts with little or no free disk space),
GNU bug Tracking System <=