Anonymous Maarten
0c3dc78916
docker: add user to sudo group in docker image (only applicable for ubuntu)
2018-06-14 02:18:10 +02:00
Filip Gawin
ec92476818
Add sanitizers
...
Leak sanitizer - tracks leaks.
Address sanitizer - like above and
prohibiteted operations on memory.
Thread sanitizer - tracks data races.
Undefined behaviour - like name says. ;)
2018-06-08 09:35:31 +02:00
Anonymous Maarten
b8bf99ed1f
docker: use latest branched fedora version instead of rawhide
2018-03-17 12:55:32 +00:00
Anonymous Maarten
af7b84637d
cmake+ci: rewrite ctest + add appveyor
2018-02-13 22:15:26 +00:00
Anonymous Maarten
d6ee4774d1
script: Use Fedora rawhide instead of latest stable release
2018-02-13 00:17:24 +00:00
Daniel Evans
54e45f1326
Add test docker script for local building
2018-02-01 02:12:45 +00:00
Daniel Evans
1e48602c59
Ensure correct ownership of /build and /src directories in container
2018-02-01 02:12:45 +00:00
Anonymous Maarten
c03e94f8b0
ci: use Docker for Travis Continuous Integration
2018-02-01 02:12:45 +00:00
Daniel Evans
b4f5a1d2cc
Add verify-commit script for pre-commit style check
2016-09-09 20:16:51 +01:00
Daniel Evans
498057e423
Add script to generate stubs from script interfaces
2016-08-30 19:46:44 +01:00