File tree Expand file tree Collapse file tree 1 file changed +8
-4
lines changed
Expand file tree Collapse file tree 1 file changed +8
-4
lines changed Original file line number Diff line number Diff line change @@ -13,14 +13,14 @@ companions:
1313 python.org : " *"
1414
1515dependencies :
16- libgit2.org : ~ 1.7 # links to libgit2.so.1.7
16+ libgit2.org : ' >= 1.7<2 '
1717
1818build :
1919 dependencies :
2020 linux :
2121 nixos.org/patchelf : ^0.18
2222 sqlite.org : " *" # as of v0.5.22, to build libz-ng-sys
23- cmake.org : ^ 3.28
23+ cmake.org : ' >= 3.28'
2424 rust-lang.org/cargo : ^0
2525 maturin.rs : ^1.4.0
2626 info-zip.org/unzip : ^6
7575 flask run --port $PORT &
7676 PID=$!
7777 # otherwise the server may not be ready
78- - sleep 10
78+ - |
79+ for i in $(seq 1 15); do
80+ curl -sf 127.0.0.1:$PORT && break
81+ sleep 1
82+ done
7983 - test "$(curl 127.0.0.1:$PORT)" = "<p>Hello, World!</p>"
8084 # TODO need to install a signal handler or our build servers could be left with a running flask process
81- - kill $PID
85+ - kill $PID || true
You can’t perform that action at this time.
0 commit comments