| .. |
|
Docs-18.04
|
5e5d783c4c
[Doc, Jenkins] Build documentation in Jenkins
|
6 лет назад |
|
Linux
|
7377a787bc
[Makefile] Add distclean target
|
6 лет назад |
|
Linux-18.04
|
0eae1e2517
[Jenkins] Test 'make clean' also on Ubuntu 18.04
|
6 лет назад |
|
Linux-Debug
|
7377a787bc
[Makefile] Add distclean target
|
6 лет назад |
|
Linux-Debug-18.04
|
0eae1e2517
[Jenkins] Test 'make clean' also on Ubuntu 18.04
|
6 лет назад |
|
Linux-SGX
|
7377a787bc
[Makefile] Add distclean target
|
6 лет назад |
|
Linux-SGX-18.04
|
0eae1e2517
[Jenkins] Test 'make clean' also on Ubuntu 18.04
|
6 лет назад |
|
Linux-SGX-18.04-apps
|
0eae1e2517
[Jenkins] Test 'make clean' also on Ubuntu 18.04
|
6 лет назад |
|
Linux-SGX-apps
|
7377a787bc
[Makefile] Add distclean target
|
6 лет назад |
|
ubuntu-16.04.dockerfile
|
efbf2706dd
[CI] Run shellcheck as part of Jenkins pipelines
|
6 лет назад |
|
ubuntu-18.04.dockerfile
|
efbf2706dd
[CI] Run shellcheck as part of Jenkins pipelines
|
6 лет назад |
Simon Gaiser
0eae1e2517
[Jenkins] Test 'make clean' also on Ubuntu 18.04