Dmitrii Kuvaiskii b4673dc171 [Jenkins] Add Redis test to all Jenkins pipelines ...

Redis is tested with select() syscall on 16.04 pipelines and with
epoll() on 18.04 pipelines.

2019-12-14 12:53:45 -08:00

..

Docs-18.04

[Doc, Jenkins] Build documentation in Jenkins

2019-09-25 16:47:51 +02:00

Linux

[Jenkins] Add Redis test to all Jenkins pipelines

2019-12-14 12:53:45 -08:00

Linux-18.04

[Jenkins] Add Redis test to all Jenkins pipelines

2019-12-14 12:53:45 -08:00

Linux-Debug

[Jenkins] Add Redis test to all Jenkins pipelines

2019-12-14 12:53:45 -08:00

Linux-Debug-18.04

[Jenkins] Add Redis test to all Jenkins pipelines

2019-12-14 12:53:45 -08:00

Linux-SGX

[Jenkins] Split SGX pipelines into two: tests and apps

2019-12-14 12:53:45 -08:00

Linux-SGX-18.04

[Jenkins] Split SGX pipelines into two: tests and apps

2019-12-14 12:53:45 -08:00

Linux-SGX-18.04-apps

[Jenkins] Add Redis test to all Jenkins pipelines

2019-12-14 12:53:45 -08:00

Linux-SGX-apps

[Jenkins] Add Redis test to all Jenkins pipelines

2019-12-14 12:53:45 -08:00

ubuntu-16.04.dockerfile

[CI] Run shellcheck as part of Jenkins pipelines

2019-12-11 17:16:09 +01:00

ubuntu-18.04.dockerfile

[CI] Run shellcheck as part of Jenkins pipelines

2019-12-11 17:16:09 +01:00