| .. |
|
Docs-18.04
|
5e5d783c4c
[Doc, Jenkins] Build documentation in Jenkins
|
4 years ago |
|
Linux
|
8dd19d28fb
[Makefile] Check `make clean` on Jenkins
|
4 years ago |
|
Linux-18.04
|
a01bbdfb60
[Jenkins] Fix the specific kernel headers version within an Ubuntu release
|
4 years ago |
|
Linux-Debug
|
8dd19d28fb
[Makefile] Check `make clean` on Jenkins
|
4 years ago |
|
Linux-Debug-18.04
|
09907126ed
[LibOS] test/apps: Fix up apache and lighttpd tests
|
4 years ago |
|
Linux-SGX
|
8dd19d28fb
[Makefile] Check `make clean` on Jenkins
|
4 years ago |
|
Linux-SGX-18.04
|
ee3619df4f
[LibOS] test/apps: Rewrite Apache example
|
4 years ago |
|
ubuntu-16.04.dockerfile
|
ee3619df4f
[LibOS] test/apps: Rewrite Apache example
|
4 years ago |
|
ubuntu-18.04.dockerfile
|
ee3619df4f
[LibOS] test/apps: Rewrite Apache example
|
4 years ago |
Simon Gaiser
8dd19d28fb
[Makefile] Check `make clean` on Jenkins