Rainer Gerhards
|
06946825ee
|
CI: use github actions for compile checks
|
2020-08-11 14:24:30 +02:00 |
|
Rainer Gerhards
|
33330e0742
|
CI: add github actions
|
2020-07-10 19:19:58 +02:00 |
|
Rainer Gerhards
|
58dfe006a8
|
testbench: improve tests
modernize them, reduce robustness against slow machines, provide some
test framework functional enhancements and optimizie some tests
|
2020-01-19 16:09:44 +01:00 |
|
Rainer Gerhards
|
586158ea42
|
tooling: pass additional environment vars to dev container
|
2020-01-14 09:15:18 +01:00 |
|
Rainer Gerhards
|
0845ff8e02
|
CI: add script to do a full CI run
The core ID is to use this script together with pretty generic
buildbot workers. This provides a simple way to load-balance
across the worker pool.
|
2020-01-11 12:10:48 +01:00 |
|
Rainer Gerhards
|
0494037aa2
|
some nitfixes and sligth testbench modernization
|
2018-12-18 18:12:29 +01:00 |
|
Rainer Gerhards
|
d850865314
|
make devcontainer tool more developer friendly
slight improvement for easy interactive use
|
2018-07-12 16:55:41 +02:00 |
|
Rainer Gerhards
|
9da5eb8cd6
|
devtools: permit to override default container
|
2018-06-14 15:15:53 +02:00 |
|
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
|
b06a48d6b5
|
Travis: further collapse build matrix
|
2018-01-16 13:04:47 +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 |
|