From: Jérémie Astor Date: Sun, 16 Feb 2020 17:02:45 +0000 (+0100) Subject: :wrench: fix indent X-Git-Tag: nightly~1928 X-Git-Url: http://10.10.0.4:5575/?a=commitdiff_plain;h=85f2a1dddb41b79ac644e1053f5dac2003bf9d74;p=gwion.git :wrench: fix indent --- diff --git a/.github/workflows/coverage.yml b/.github/workflows/coverage.yml index e15f49ee..931c1c97 100644 --- a/.github/workflows/coverage.yml +++ b/.github/workflows/coverage.yml @@ -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