chore: Change ci name short

tokio-rs · Aug 11, 2023 · 61cbd8f · 61cbd8f
1 parent 538e456
commit 61cbd8f
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/...lows/continuous-integration-workflow.yaml → .github/workflows/ci.yml b/...lows/continuous-integration-workflow.yaml → .github/workflows/ci.yml
@@ -1,4 +1,4 @@
-name: continuous integration
+name: CI
 on: pull_request
 
 env: