Simon Gaiser 7377a787bc [Makefile] Add distclean target vor 6 Jahren
..
Docs-18.04 5e5d783c4c [Doc, Jenkins] Build documentation in Jenkins vor 6 Jahren
Linux 7377a787bc [Makefile] Add distclean target vor 6 Jahren
Linux-18.04 7d99d4788c [LibOS,Pal] Remove Graphene IPC completely vor 6 Jahren
Linux-Debug 7377a787bc [Makefile] Add distclean target vor 6 Jahren
Linux-Debug-18.04 b4673dc171 [Jenkins] Add Redis test to all Jenkins pipelines vor 6 Jahren
Linux-SGX 7377a787bc [Makefile] Add distclean target vor 6 Jahren
Linux-SGX-18.04 c47642b318 [Jenkins] Split SGX pipelines into two: tests and apps vor 6 Jahren
Linux-SGX-18.04-apps b4673dc171 [Jenkins] Add Redis test to all Jenkins pipelines vor 6 Jahren
Linux-SGX-apps 7377a787bc [Makefile] Add distclean target vor 6 Jahren
ubuntu-16.04.dockerfile efbf2706dd [CI] Run shellcheck as part of Jenkins pipelines vor 6 Jahren
ubuntu-18.04.dockerfile efbf2706dd [CI] Run shellcheck as part of Jenkins pipelines vor 6 Jahren