chore: Change ci name short

tokio-rs · May 3, 2023 · c903390 · c903390
1 parent a82a107
commit c903390
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: