Page MenuHomeSoftware Heritage

D5619.id.diff
No OneTemporary

D5619.id.diff

diff --git a/jobs/templates/swh-pipeline.groovy.j2 b/jobs/templates/swh-pipeline.groovy.j2
--- a/jobs/templates/swh-pipeline.groovy.j2
+++ b/jobs/templates/swh-pipeline.groovy.j2
@@ -106,7 +106,7 @@
steps {
sh '''
- if tox -a | grep -qx sphinx
+ if tox -a | grep -x sphinx >/dev/null
then
tox -e sphinx
else

File Metadata

Mime Type
text/plain
Expires
Thu, Jan 30, 11:15 AM (1 w, 20 h ago)
Storage Engine
blob
Storage Format
Raw Data
Storage Handle
3221318

Event Timeline