Home Explore Help
Sign In
miti
/
graphene
1
0
Fork 0
Files Issues 0 Pull Requests 0 Wiki
Tree: 75619fe760
Branches Tags
graphene
/
Jenkinsfiles
Simon Gaiser 0eae1e2517 [Jenkins] Test 'make clean' also on Ubuntu 18.04 4 years ago
..
Docs-18.04 5e5d783c4c [Doc, Jenkins] Build documentation in Jenkins 4 years ago
Linux 7377a787bc [Makefile] Add distclean target 4 years ago
Linux-18.04 0eae1e2517 [Jenkins] Test 'make clean' also on Ubuntu 18.04 4 years ago
Linux-Debug 7377a787bc [Makefile] Add distclean target 4 years ago
Linux-Debug-18.04 0eae1e2517 [Jenkins] Test 'make clean' also on Ubuntu 18.04 4 years ago
Linux-SGX 7377a787bc [Makefile] Add distclean target 4 years ago
Linux-SGX-18.04 0eae1e2517 [Jenkins] Test 'make clean' also on Ubuntu 18.04 4 years ago
Linux-SGX-18.04-apps 0eae1e2517 [Jenkins] Test 'make clean' also on Ubuntu 18.04 4 years ago
Linux-SGX-apps 7377a787bc [Makefile] Add distclean target 4 years ago
ubuntu-16.04.dockerfile efbf2706dd [CI] Run shellcheck as part of Jenkins pipelines 4 years ago
ubuntu-18.04.dockerfile efbf2706dd [CI] Run shellcheck as part of Jenkins pipelines 4 years ago