cirrusci: add build timeout
This commit is contained in:
committed by
Steve Chavez
parent
787973f323
commit
9adec12a67
+2
-1
@@ -35,7 +35,8 @@ build_task:
|
|||||||
cabal_nightly_version=$(git show -s --format='%cd' --date='format:%Y%m%d')
|
cabal_nightly_version=$(git show -s --format='%cd' --date='format:%Y%m%d')
|
||||||
sed -i '' "s/^version:.*/version:$cabal_nightly_version/" postgrest.cabal
|
sed -i '' "s/^version:.*/version:$cabal_nightly_version/" postgrest.cabal
|
||||||
fi
|
fi
|
||||||
- cabal v2-build
|
## compile for 30 minutes tops
|
||||||
|
- timeout 1800 cabal v2-build || (($?==124))
|
||||||
|
|
||||||
publish_script:
|
publish_script:
|
||||||
- |
|
- |
|
||||||
|
|||||||
Reference in New Issue
Block a user