Added Jenkins CI configs for some build machines
[libcds.git] / build / CI / VASEx-CI-2 /
drwxr-xr-x   ..
-rw-r--r-- 4289 cds-libs
-rw-r--r-- 1535 ci-build
-rw-r--r-- 685 ci-env