Skip to content

Commit 41a615f

Browse files
authored
Remove unused CI scripts (#301)
1 parent 75a15fa commit 41a615f

File tree

2 files changed

+0
-138
lines changed

2 files changed

+0
-138
lines changed

Jenkinsfile

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

push_benchmarks.sh

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

0 commit comments

Comments
 (0)