diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index 2c701e8ec1..931ca723aa 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -53,7 +53,6 @@ jobs:
         with:
           token: ${{ secrets.GITHUB_TOKEN }}
 
-
   miri:
     name: 'miri'
     runs-on: ubuntu-latest