lint: archival: Gracefully handle network failures.
authorLudovic Courtès <ludo@gnu.org>
Mon, 2 Dec 2019 11:24:56 +0000 (12:24 +0100)
committerLudovic Courtès <ludo@gnu.org>
Mon, 2 Dec 2019 11:24:56 +0000 (12:24 +0100)
commitc2b2c8e9e7ce3e12b23a6d27162dc98450d4f4d9
treedcdfbef0a904deea90f49c0d9551ac8509585cb3
parentc07c0acf19e9c705495bf6b9866ab57acef87132
lint: archival: Gracefully handle network failures.

* guix/lint.scm (check-archival): Wrap re-throw in 'with-networking-fail-safe'.
guix/lint.scm