summaryrefslogtreecommitdiff
path: root/devel
diff options
context:
space:
mode:
authorNikos Mavrogiannopoulos <nmav@redhat.com>2016-07-26 11:45:30 +0200
committerNikos Mavrogiannopoulos <nmav@redhat.com>2016-07-26 15:19:25 +0200
commite9d97be44f1b210e34982da5e2370aa12d2b18ba (patch)
tree7a0884435d2aa2ffaadb6bd66c30cb30c7622e60 /devel
parent1a491c60d39f224e690b39f65f93c69cade80261 (diff)
downloadgnutls-e9d97be44f1b210e34982da5e2370aa12d2b18ba.tar.gz
README.ci-runners: document asan and ubsan tags
Diffstat (limited to 'devel')
-rw-r--r--devel/README.ci-runners8
1 files changed, 8 insertions, 0 deletions
diff --git a/devel/README.ci-runners b/devel/README.ci-runners
index f4ba559593..425430f2cf 100644
--- a/devel/README.ci-runners
+++ b/devel/README.ci-runners
@@ -53,6 +53,14 @@ This runner has mingw and basic libraries installed.
yum install -y mingw32-nettle mingw32-libtasn1 mingw32-gcc
```
+## ubsan
+
+This runner has undefined sanitizer available
+
+## asan
+
+This runner has address sanitizer available
+
## fedora
This is a system with Fedora installed.