Merge pull request #3295 from o1-labs/dw/use-toml-rust-toolchain

Rust: use toml format instead of plain text

Author: volhovm

.github/actions/toolchain-shared/action.yml

@@ -21,7 +21,10 @@ runs:
     - shell: bash
       run: |
         # overwriting default rust-toolchain
-        echo ${{ inputs.rust_toolchain_version }} > rust-toolchain
+        cat > rust-toolchain.toml << EOF
+        [toolchain]
+        channel = "${{ inputs.rust_toolchain_version }}"
+        EOF
     - uses: dtolnay/rust-toolchain@master
       id: toolchain
       with:

.github/workflows/ci.yml

@@ -132,7 +132,7 @@ jobs:
 
       - name: Check that up-to-date specification is checked in
         run: |
-          git diff --exit-code ":(exclude)rust-toolchain"
+          git diff --exit-code ":(exclude)rust-toolchain.toml"
 
       - name: Doc tests
         run: |

rust-toolchain

@@ -0,0 +1,2 @@
+[toolchain]
+channel = "1.81"