| .. |
|
Docs-18.04
|
5e5d783c4c
[Doc, Jenkins] Build documentation in Jenkins
|
6 years ago |
|
Linux
|
b4673dc171
[Jenkins] Add Redis test to all Jenkins pipelines
|
5 years ago |
|
Linux-18.04
|
b4673dc171
[Jenkins] Add Redis test to all Jenkins pipelines
|
5 years ago |
|
Linux-Debug
|
b4673dc171
[Jenkins] Add Redis test to all Jenkins pipelines
|
5 years ago |
|
Linux-Debug-18.04
|
b4673dc171
[Jenkins] Add Redis test to all Jenkins pipelines
|
5 years ago |
|
Linux-SGX
|
c47642b318
[Jenkins] Split SGX pipelines into two: tests and apps
|
5 years ago |
|
Linux-SGX-18.04
|
c47642b318
[Jenkins] Split SGX pipelines into two: tests and apps
|
5 years ago |
|
Linux-SGX-18.04-apps
|
b4673dc171
[Jenkins] Add Redis test to all Jenkins pipelines
|
5 years ago |
|
Linux-SGX-apps
|
b4673dc171
[Jenkins] Add Redis test to all Jenkins pipelines
|
5 years ago |
|
ubuntu-16.04.dockerfile
|
efbf2706dd
[CI] Run shellcheck as part of Jenkins pipelines
|
5 years ago |
|
ubuntu-18.04.dockerfile
|
efbf2706dd
[CI] Run shellcheck as part of Jenkins pipelines
|
5 years ago |
Dmitrii Kuvaiskii
b4673dc171
[Jenkins] Add Redis test to all Jenkins pipelines