diff --git a/.github/workflows/check.yml b/.github/workflows/check.yml
index 724ee09..1135381 100644
--- a/.github/workflows/check.yml
+++ b/.github/workflows/check.yml
@@ -3,90 +3,90 @@ permissions:
   # This configuration allows maintainers of this repo to create a branch and pull request based on
   # the new branch. Restricting the push trigger to the main branch ensures that the PR only gets
   # built once.
-  on:
-	push:
-	  branches: [main]
-	pull_request:
+on:
+  push:
+    branches: [main]
+  pull_request:
   # If new code is pushed to a PR branch, then cancel in progress workflows for that PR. Ensures that
   # we don't waste CI time, and returns results quicker https://github.com/jonhoo/rust-ci-conf/pull/5
-  concurrency:
-	group: ${{ github.workflow }}-${{ github.head_ref || github.run_id }}
-	cancel-in-progress: true
-  name: check
-  jobs:
-	fmt:
-	  runs-on: ubuntu-latest
-	  name: stable / fmt
-	  steps:
-		- uses: actions/checkout@v4
-		  with:
-			submodules: true
-		- name: Install stable
-		  uses: dtolnay/rust-toolchain@stable
-		  with:
-			components: rustfmt
-		- name: cargo fmt --check
-		  run: cargo fmt --check
-	clippy:
-	  runs-on: ubuntu-latest
-	  name: ${{ matrix.toolchain }} / clippy
-	  permissions:
-		contents: read
-		checks: write
-	  strategy:
-		fail-fast: false
-		matrix:
-		  # Get early warning of new lints which are regularly introduced in beta channels.
-		  toolchain: [stable, beta]
-	  steps:
-		- uses: actions/checkout@v4
-		  with:
-			submodules: true
-		- name: Install ${{ matrix.toolchain }}
-		  uses: dtolnay/rust-toolchain@master
-		  with:
-			toolchain: ${{ matrix.toolchain }}
-			components: clippy
-		- name: cargo clippy
-		  uses: giraffate/clippy-action@v1
-		  with:
-			reporter: 'github-pr-check'
-			github_token: ${{ secrets.GITHUB_TOKEN }}
-			# NOTE: only core can be checked with clippy as of now
-			clippy_flags: -p risc0-tm-core
-	hack:
-	  # cargo-hack checks combinations of feature flags to ensure that features are all additive
-	  # which is required for feature unification
-	  runs-on: ubuntu-latest
-	  name: ubuntu / stable / features
-	  steps:
-		- uses: actions/checkout@v4
-		  with:
-			submodules: true
-		- name: Install stable
-		  uses: dtolnay/rust-toolchain@stable
-		- name: cargo install cargo-hack
-		  uses: taiki-e/install-action@cargo-hack
-		# intentionally no target specifier; see https://github.com/jonhoo/rust-ci-conf/pull/4
-		# --feature-powerset runs for every combination of features
-		- name: cargo hack
-		  run: cargo hack --feature-powerset check
-	msrv:
-	  # check that we can build using the minimal rust version that is specified by this crate
-	  runs-on: ubuntu-latest
-	  # we use a matrix here just because env can't be used in job names
-	  # https://docs.github.com/en/actions/learn-github-actions/contexts#context-availability
-	  strategy:
-		matrix:
-		  msrv: ["1.76.0"]
-	  name: ubuntu / ${{ matrix.msrv }}
-	  steps:
-		- uses: actions/checkout@v4
-		  with:
-			submodules: true
-		- name: Install ${{ matrix.msrv }}
-		  uses: dtolnay/rust-toolchain@master
-		  with:
-			toolchain: ${{ matrix.msrv }}
-		- name: cargo +${{ matrix.msrv }} check
-		  run: cargo check
\ No newline at end of file
+concurrency:
+  group: ${{ github.workflow }}-${{ github.head_ref || github.run_id }}
+  cancel-in-progress: true
+name: check
+jobs:
+  fmt:
+    runs-on: ubuntu-latest
+    name: stable / fmt
+    steps:
+    - uses: actions/checkout@v4
+      with:
+        submodules: true
+    - name: Install stable
+      uses: dtolnay/rust-toolchain@stable
+      with:
+        components: rustfmt
+    - name: cargo fmt --check
+      run: cargo fmt --check
+  clippy:
+    runs-on: ubuntu-latest
+    name: ${{ matrix.toolchain }} / clippy
+    permissions:
+      contents: read
+      checks: write
+    strategy:
+      fail-fast: false
+      matrix:
+        # Get early warning of new lints which are regularly introduced in beta channels.
+        toolchain: [stable, beta]
+    steps:
+    - uses: actions/checkout@v4
+      with:
+        submodules: true
+    - name: Install ${{ matrix.toolchain }}
+      uses: dtolnay/rust-toolchain@master
+      with:
+        toolchain: ${{ matrix.toolchain }}
+        components: clippy
+    - name: cargo clippy
+      uses: giraffate/clippy-action@v1
+      with:
+        reporter: 'github-pr-check'
+        github_token: ${{ secrets.GITHUB_TOKEN }}
+        # NOTE: only core can be checked with clippy as of now
+        clippy_flags: -p risc0-tm-core
+  hack:
+    # cargo-hack checks combinations of feature flags to ensure that features are all additive
+    # which is required for feature unification
+    runs-on: ubuntu-latest
+    name: ubuntu / stable / features
+    steps:
+    - uses: actions/checkout@v4
+      with:
+        submodules: true
+    - name: Install stable
+      uses: dtolnay/rust-toolchain@stable
+    - name: cargo install cargo-hack
+      uses: taiki-e/install-action@cargo-hack
+    # intentionally no target specifier; see https://github.com/jonhoo/rust-ci-conf/pull/4
+    # --feature-powerset runs for every combination of features
+    - name: cargo hack
+      run: cargo hack --feature-powerset check
+  msrv:
+    # check that we can build using the minimal rust version that is specified by this crate
+    runs-on: ubuntu-latest
+    # we use a matrix here just because env can't be used in job names
+    # https://docs.github.com/en/actions/learn-github-actions/contexts#context-availability
+    strategy:
+      matrix:
+        msrv: ["1.76.0"]
+    name: ubuntu / ${{ matrix.msrv }}
+    steps:
+    - uses: actions/checkout@v4
+      with:
+        submodules: true
+    - name: Install ${{ matrix.msrv }}
+      uses: dtolnay/rust-toolchain@master
+      with:
+        toolchain: ${{ matrix.msrv }}
+    - name: cargo +${{ matrix.msrv }} check
+      run: cargo check
\ No newline at end of file