diff options
| author | Tobias Geerinckx-Rice <me@tobias.gr> | 2019-06-28 16:20:08 +0200 |
|---|---|---|
| committer | Tobias Geerinckx-Rice <me@tobias.gr> | 2019-06-29 06:28:50 +0200 |
| commit | 70d6ec3e4facb2eed4b8842031ebd2683a8cfd3b (patch) | |
| tree | dcf22712f31fba433a21fc26e386a05cc0120081 /gnu/services | |
| parent | 44b5f28a77d94609cc43d713c46f6c1bdc4e380b (diff) | |
| download | guix-70d6ec3e4facb2eed4b8842031ebd2683a8cfd3b.tar.gz | |
doc: Correct the software behind ci.guix.gnu.org.
* doc/guix.texi (Invoking guix publish): It runs Cuirass.
Diffstat (limited to 'gnu/services')
0 files changed, 0 insertions, 0 deletions