Bugfix/#18 api outage
Related Tickets
Closes
Closes #18 (closed)
Summary
The main problem has been solved in the Docker containers. It stemmed from a faulty parameter type in the function tapi:redeploy. This type has been removed.
To make the API more robust, this function has been outsourced to a separate module, deploy.xqm.
In order to be noticed if the API broke at some point after the deployment, a new stage has been introduced to the CI to check the HTTP status of the API.
Changelog
-
I added a statement to the CHANGELOG.