|
debian9
|
Verified/updated docker installs
|
2019-03-01 23:39:09 +01:00 |
|
debian10
|
add debian 10
|
2019-07-23 14:00:34 +02:00 |
|
ubuntu16
|
Verified/updated docker installs
|
2019-03-01 23:39:09 +01:00 |
|
ubuntu18
|
Verified/updated docker installs
|
2019-03-01 23:39:09 +01:00 |
|
ubuntu20
|
Add Ubuntu 20.04 for Docker tests
|
2020-03-02 13:51:15 +01:00 |
|
build_all.sh
|
Add execution flags
|
2018-09-24 20:27:13 +02:00 |
|
clean_all.sh
|
Add execution flags
|
2018-09-24 20:27:13 +02:00 |
|
run.sh
|
formatting
|
2018-09-25 07:38:04 +02:00 |
|
run_all.sh
|
Reduce github hits
|
2018-09-25 23:40:20 +02:00 |
