Skip to content

Commit

Permalink
Remove unused jenkins files
Browse files Browse the repository at this point in the history
  • Loading branch information
dafeda committed Sep 20, 2023
1 parent c1ab4e6 commit eeb8321
Show file tree
Hide file tree
Showing 5 changed files with 0 additions and 221 deletions.
35 changes: 0 additions & 35 deletions ci/jenkins/Jenkinsfile-libres

This file was deleted.

76 changes: 0 additions & 76 deletions ci/jenkins/Jenkinsfile-performance

This file was deleted.

27 changes: 0 additions & 27 deletions ci/jenkins/testkomodo-ERT.sh

This file was deleted.

28 changes: 0 additions & 28 deletions ci/jenkins/testkomodo-libres-ctest.sh

This file was deleted.

55 changes: 0 additions & 55 deletions ci/jenkins/testkomodo-repeat-flaky.sh

This file was deleted.

0 comments on commit eeb8321

Please sign in to comment.