10 Commits

Author SHA1 Message Date
Rainer Gerhards
cd38e5460f devcontainer: use some sensible defaults if params not set 2018-03-03 17:51:02 +01:00
Rainer Gerhards
a570ddfcd7 dev tools: do not use -ti in docker run
this does not properly work when the script is used in
cron jobs
2018-01-31 11:55:46 +01:00
Rainer Gerhards
de88a5984d devtools: run dev container under current user credentials 2018-01-30 08:09:41 +01:00
Rainer Gerhards
9052f535fd travis fix: cron job was not executed 2018-01-19 08:58:30 +01:00
Rainer Gerhards
b06a48d6b5 Travis: further collapse build matrix 2018-01-16 13:04:47 +01:00
Rainer Gerhards
7784576dee
Merge pull request #2392 from rgerhards/travis-combined-build-test
Travis: improve build matrix
2018-01-16 07:52:23 +01:00
Rainer Gerhards
89318b2dea travis: combine some build checks
... and do them via containers. This also reduces resource usage and
runtime on Travis a bit.
2018-01-15 18:07:06 +01:00
Rainer Gerhards
a8426f507a travis: do not unnecessarily run checks under cron 2018-01-14 17:31:12 +01:00
Rainer Gerhards
b89466e105 Travis: run static analyzer via standard dev container
also some improvements to somewhat optimize the build matrix so
that we avoid unnecessary work.
2018-01-14 13:56:27 +01:00
Rainer Gerhards
2fb499d5fe dev: add consistent development tools
most importantly provide a way to run the static analyzer consistently.
This is done via docker container.
2018-01-14 11:00:26 +01:00