AAAAAARRRRRRRRGGGGGGGHHHHHHHH!!!!!!!!!!!!!!!!!!!!!!

apache · Jun 9, 2022 · 9b0324a · 9b0324a
1 parent b020e6e
commit 9b0324a
Show file tree

Hide file tree

Showing 3 changed files with 394 additions and 384 deletions.
diff --git a/.github/actions/setup-builder/action.yaml b/.github/actions/setup-builder/action.yaml
@@ -33,6 +33,9 @@ runs:
     - name: Setup Rust toolchain
       shell: bash
       run: |
+        echo "CARGO_HOME is $CARGO_HOME"
+        echo "RUSTUP_HOME is $RUSTUP_HOME"
+        exit 1
         echo "Installing ${{ inputs.rust-version }}"
         rustup toolchain install ${{ inputs.rust-version }}
         rustup default ${{ inputs.rust-version }}

diff --git a/.github/workflows/miri.yaml b/.github/workflows/miri.yaml
@@ -15,7 +15,7 @@
 # specific language governing permissions and limitations
 # under the License.
 
-name: Rust
+name: MIRI
 
 on:
   # always trigger