Skip to content

Commit d842f1b

Browse files
authored
Remove unused run_ci.sh script (#1352)
1 parent 2801275 commit d842f1b

File tree

1 file changed

+0
-169
lines changed

1 file changed

+0
-169
lines changed

run_ci.sh

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

0 commit comments

Comments
 (0)