CI: delete useless ci files (pingcap#6684)

close pingcap#6685
solotzg · Jan 29, 2023 · a1d8a8f · a1d8a8f
1 parent 90f409c
commit a1d8a8f
Show file tree

Hide file tree

Showing 3 changed files with 0 additions and 51 deletions.
diff --git a/.github/workflows/bug-closed.yml b/.github/workflows/bug-closed.yml
diff --git a/.github/workflows/license-checker.yml b/.github/workflows/license-checker.yml
diff --git a/Jenkinsfile b/Jenkinsfile