Dhruvin Gandhi
|
4d00527ca6
ci: add -o pipefail to scripts/pull
|
2 年之前 |
Dhruvin Gandhi
|
da3ca55c18
ci: log guix pull errors
|
2 年之前 |
Dhruvin Gandhi
|
973c04a2fc
ci: be verbose about scripts/pull errors
|
2 年之前 |
Dhruvin Gandhi
|
f83a0c2f30
scripts: do not run guix describe in pull anymore
|
2 年之前 |
Dhruvin Gandhi
|
173adb6683
scripts: silence guix pull
|
2 年之前 |
Dhruvin Gandhi
|
121ebf0c3b
ci: verify that guix pull works with latest commit
|
2 年之前 |