cat file

Author: celinval

.github/workflows/kani.yml

@@ -2,14 +2,6 @@ name: Kani
 
 on:
   workflow_dispatch:
-  merge_group:
-  pull_request:
-    branches: [ main ]
-  push:
-    paths:
-      - 'library/**'
-      - '.github/workflows/kani.yml'
-      - 'scripts/run-kani.sh'
 
 defaults:
   run:

scripts/check_rustc.sh

@@ -51,6 +51,7 @@ echo "$COMMIT_ID for rustc is"
 # Get the full commit ID for shallow clone
 curl -H "Connection: close" -o "${TMP_RUST_DIR}/output.json" -s --show-error \
     "https://api.github.com/repos/rust-lang/rust/commits?sha=${COMMIT_ID}&per_page=1"
+cat "${TMP_RUST_DIR}/output.json"
 COMMIT_ID=$(jq -r '.[0].sha' "${TMP_RUST_DIR}/output.json")
 
 # Clone the rust-lang/rust repository