Skip to content

Commit aee8abb

Browse files
committed
WIP remove JenkinsStuff to avoid useless runs there
Signed-off-by: Brice Goglin <[email protected]>
1 parent cfd3a3c commit aee8abb

15 files changed

+0
-1084
lines changed

contrib/ci.inria.fr/Jenkinsfile

Lines changed: 0 additions & 299 deletions
This file was deleted.

contrib/ci.inria.fr/browse_jenkins_logs.sh

Lines changed: 0 additions & 42 deletions
This file was deleted.

0 commit comments

Comments
 (0)