Edward Thomson ebb0830c65 ci: clean up daemon processes on exit ...

We previously (correctly) cleaned up the git daemon and SSH server, but
failed to clean up our bespoke HTTP server and HTTP proxies. Capture
their PIDs on process creation and kill them when we shut down.

2022-09-16 10:46:18 -04:00

..

docker

ci: update dockerfiles for mbedTLS new url

2022-07-06 13:10:33 -04:00

build.sh

ci: allow for build-time (cmake --build) options

2022-02-27 23:44:19 -05:00

coverity.sh

ci: stop using deprecated set-env in GitHub Actions

2020-11-18 18:08:23 +00:00

getcontainer.sh

ci: some debugging output for containers

2022-04-19 11:55:49 -04:00

setup-mingw-build.sh

ci: rename build setup scripts

2022-02-27 23:44:19 -05:00

setup-osx-benchmark.sh

ci: run benchmark tests nightly

2022-02-27 23:44:19 -05:00

setup-osx-build.sh

ci: rename build setup scripts

2022-02-27 23:44:19 -05:00

setup-ubuntu-benchmark.sh

ci: run benchmark tests nightly

2022-02-27 23:44:19 -05:00

setup-win32-benchmark.sh

ci: run benchmark tests nightly

2022-02-27 23:44:19 -05:00

test.sh

ci: clean up daemon processes on exit

2022-09-16 10:46:18 -04:00