chore: rename workflow

Signed-off-by: Aseem Manna <112926373+aseem-deepsource@users.noreply.github.com>
DeepSourceCorp · Jul 24, 2023 · 00307dd · 00307dd
1 parent ee1cbc9
commit 00307dd
Showing 1 changed file with 1 addition and 2 deletions.
diff --git a/.github/workflows/build.yaml b/.github/workflows/build.yaml
@@ -1,5 +1,4 @@
-name: DeepSource Runner builds
-
+name: CI
 on:
   push:
     branches: