Skip to content

Commit 097d715

Browse files
committed
removed obsolete CI-related files
1 parent 34b9c45 commit 097d715

3 files changed

Lines changed: 0 additions & 138 deletions

File tree

generate_coverage_report

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

tools/ci.py

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

webreport.sh

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

0 commit comments

Comments
 (0)