]> Nishi Git Mirror - gwion.git/commitdiff
:wrench: fix indent
authorJérémie Astor <astor.jeremie@wanadoo.fr>
Sun, 16 Feb 2020 17:24:17 +0000 (18:24 +0100)
committerJérémie Astor <astor.jeremie@wanadoo.fr>
Sun, 16 Feb 2020 17:24:17 +0000 (18:24 +0100)
.github/workflows/coverage.yml

index 931c1c97de274557f02414d6564eb91e6dc234db..c7f5ad45f8d3cf2c492e8d7acc8fc4e59b370409 100644 (file)
@@ -15,7 +15,7 @@ jobs:
     - uses: actions/checkout@v1
 
     - uses: actions/setup-python@v1
-        with:    python-version: '3.x'
+      with: python-version: '3.x'
 
     - name: submodules
       run: git submodule update --init util ast