ci: fix cirrus build timeout
This commit is contained in:
committed by
Wolfgang Walther
parent
c2c7bbe9dd
commit
cd09cc6c52
+1
-1
@@ -37,7 +37,7 @@ build_task:
|
|||||||
sed -i '' "s/^version:.*/version:$cabal_nightly_version/" postgrest.cabal
|
sed -i '' "s/^version:.*/version:$cabal_nightly_version/" postgrest.cabal
|
||||||
fi
|
fi
|
||||||
## compile for 30 minutes tops
|
## compile for 30 minutes tops
|
||||||
- timeout 1800 cabal v2-build -j1 || (($?==124))
|
- timeout 1800 cabal v2-build -j1 || test "$?" = "124"
|
||||||
|
|
||||||
publish_script:
|
publish_script:
|
||||||
- |
|
- |
|
||||||
|
|||||||
Reference in New Issue
Block a user