Fix yaml identation in yaml files (rust-lang#1644)

* fix yaml identation for release workflow

* Format all yaml files (with single quotes to align with release.yml)

Author: giltho

.github/workflows/format-check.yml

@@ -18,8 +18,8 @@ jobs:
 
       - name: Check Python code formatting
         run: |
-            pip3 install --upgrade autopep8
-            ./scripts/run-autopep8.sh
+          pip3 install --upgrade autopep8
+          ./scripts/run-autopep8.sh
 
   clippy-check:
     runs-on: ubuntu-20.04
@@ -30,17 +30,17 @@ jobs:
       - name: Setup Kani Dependencies
         uses: ./.github/actions/setup
         with:
-            os: ubuntu-20.04
+          os: ubuntu-20.04
 
-      - name: "Install jq for parsing."
+      - name: 'Install jq for parsing.'
         run: |
           sudo apt-get install -y jq
 
-      - name: "Run Clippy"
+      - name: 'Run Clippy'
         run: |
           cargo clippy --all -- -D warnings
 
-      - name: "Print Clippy Statistics"
+      - name: 'Print Clippy Statistics'
         run: |
           rm .cargo/config.toml
           (cargo clippy --all --message-format=json 2>/dev/null  | \

.github/workflows/kani.yml

@@ -25,7 +25,7 @@ jobs:
       - name: Setup Kani Dependencies
         uses: ./.github/actions/setup
         with:
-            os: ${{ matrix.os }}
+          os: ${{ matrix.os }}
 
       - name: Build Kani
         run: cargo build
@@ -35,7 +35,7 @@ jobs:
 
   experimental-features-regression:
     runs-on: ubuntu-20.04
-    env: 
+    env:
       KANI_ENABLE_UNSOUND_EXPERIMENTS: 1
     steps:
       - name: Checkout Kani
@@ -44,7 +44,7 @@ jobs:
       - name: Setup Kani Dependencies
         uses: ./.github/actions/setup
         with:
-            os: ubuntu-20.04
+          os: ubuntu-20.04
 
       - name: Build Kani
         run: cargo build
@@ -61,7 +61,7 @@ jobs:
       - name: Setup Kani Dependencies
         uses: ./.github/actions/setup
         with:
-            os: ubuntu-20.04
+          os: ubuntu-20.04
 
       - name: Build Kani
         run: cargo build
@@ -80,7 +80,7 @@ jobs:
       - name: Setup Kani Dependencies
         uses: ./.github/actions/setup
         with:
-            os: ubuntu-20.04
+          os: ubuntu-20.04
 
       - name: Build Kani
         run: cargo build
@@ -91,7 +91,7 @@ jobs:
       - name: Generate book runner report
         run: cargo run -p bookrunner
         env:
-            DOC_RUST_LANG_ORG_CHANNEL: nightly
+          DOC_RUST_LANG_ORG_CHANNEL: nightly
 
       - name: Print book runner text results
         run: cat build/output/latest/html/bookrunner.txt
@@ -129,13 +129,13 @@ jobs:
       - name: Setup Kani Dependencies
         uses: ./.github/actions/setup
         with:
-            os: ${{ matrix.os }}
-      
+          os: ${{ matrix.os }}
+
       - name: Build release bundle
         run: |
           cargo run -p make-kani-release -- latest
           cargo package -p kani-verifier
-      
+
       - name: Build container test
         if: ${{ matrix.os == 'ubuntu-18.04' }}
         run: |

.github/workflows/release.yml

@@ -76,7 +76,7 @@ jobs:
       - name: Setup Kani Dependencies
         uses: ./.github/actions/setup
         with:
-            os: ${{ matrix.os }}
+          os: ${{ matrix.os }}
 
       - name: Build release bundle
         run: |
@@ -145,7 +145,7 @@ jobs:
             org.opencontainers.image.licenses=Apache-2.0 OR MIT
 
       - name: Check action and image is updated.
-          uses: ${{ env.OWNER_LC }}/kani@${{ needs.Release.outputs.version }}
-          with:
-            command: |
-              [[ "$(cargo kani --version)" == 'cargo-kani ${{ needs.Release.outputs.version }}' ]]
+        uses: ${{ env.OWNER_LC }}/kani@${{ needs.Release.outputs.version }}
+        with:
+          command: |
+            [[ "$(cargo kani --version)" == 'cargo-kani ${{ needs.Release.outputs.version }}' ]]

action.yml

@@ -22,4 +22,3 @@ runs:
     - bash
     - '-c'
     - 'set -e; export HOME=/root USER=$(id -nu); source $HOME/.bashrc; ${{ inputs.command }}'
-