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