- 18 Nov, 2020 1 commit
-
-
(And move the ci scripts into the `ci` directory.)
Edward Thomson committed
-
- 13 Mar, 2020 1 commit
-
-
We currently pass the "--silent" flag to most invocations of curl, but in fact this does not only suppress the progress meter, but also any errors. So let's also pass "--show-error", too.
Patrick Steinhardt committed
-
- 07 Feb, 2020 1 commit
-
-
There's several issues with our Coverity builds, like e.g. missing wget in our containers. Simplify our Coverity pipeline and fix these issues.
Patrick Steinhardt committed
-